ajdal

Pinned Repositories

AoC-lean
Advent of code in Lean4
Language:Lean0 2 01
DiCTI
Language:Python00
ErazemHek
Language:CSS0 2 00
podatkovne-baze1
Repozitorij pri predmetu Podatkovne Baze
Language:Python00
projekt-pb1
Repozitorij za projekt pri PB1
00
SnakeVHDL
Snake VHDL project by @Lampy12 and @am93
Language:C1 3 10
recipes
A website for recipes
Language:Python00
Podatkovne_Baze_Lovro_Udovc
00

ajdal's Repositories

ajdal/AoC-lean
Advent of code in Lean4
Language:Lean0 2 01
ajdal/DiCTI
Language:Python00
ajdal/ErazemHek
Language:CSS0 2 00
ajdal/podatkovne-baze1
Repozitorij pri predmetu Podatkovne Baze
Language:Python00
ajdal/projekt-pb1
Repozitorij za projekt pri PB1
00