Similar repositories to jdan/compiler.lean:

• danistefanovic/build-your-own-x github similar
• jdan/compiler.lean github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• groupoid/anders github similar
• LightAndLight/como github similar
• aquynh/capstone github similar
• tuvtran/project-based-learning github similar
• julianhyde/morel github similar
• ekmett/kanso github similar
• evincarofautumn/hap-hs github similar
• Twey/agda-imp github similar
• less-wrong/less-wrong github similar
• micahflee/onionshare github similar
• jonsterling/lecture-notes github similar
• alexcrichton/cc-rs github similar
• k6io/k6 github similar
• meilisearch/MeiliSearch github similar
• fritzlabs/Awesome-Mobile-Machine-Learning github similar
• GamestonkTerminal/GamestonkTerminal github similar
• aaronpenne/generative_art github similar
• team-video/aviary.sh github similar
• prathyvsh/history-of-lambda-calculus github similar
• elpinal/subtyping-agda github similar
• IanLuites/buckaroo github similar
• inanna-malick/hgit github similar
• ziman/idris2-mlf github similar
• Chaaaos/formaltt github similar
• ayberkt/simplc github similar
• osa1/mincaml github similar
• elpinal/modal github similar
• sxn/racket-sendinblue github similar
• AndrasKovacs/universes github similar
• border-patrol/lightclick github similar
• MaiaVictor/Nasic-legacy github similar
• LightAndLight/lang github similar
• elpinal/duploids github similar
• ziman/itt-idris github similar
• TOTBWF/agda-tic-tac-toe github similar
• 4y8/ski-in-asm github similar