ajdal

Pinned Repositories

AoC2022-lean
Advent of code 2022 in Lean 4
Language:Lean02
ErazemHek
Language:CSS0 2 00
SnakeVHDL
Snake VHDL project by @Lampy12 and @am93
Language:C10
recipes
A website for recipes
Language:Python00
SemanticStyleGAN
release code for SemanticStyleGAN (CVPR 2022)
Language:Python257 9 2732

ajdal's Repositories

ajdal/AoC2022-lean
Advent of code 2022 in Lean 4
Language:Lean02
ajdal/ErazemHek
Language:CSS0 2 00