Similar repositories to SchrodingerZhu/micro_compiler:

• SchrodingerZhu/micro_compiler github similar
• HoTT/HoTT-2023 github similar
• Trebor-Huang/ice1000 github similar
• dannypsnl/plt-research github similar
• SchrodingerZhu/VNMCC github similar
• tlringer/proof-demos github similar
• thautwarm/Typed-BNF github similar
• ltoddy/parser-tutorial github similar
• digama0/lean-type-theory github similar
• lexi-lambda/eff github similar
• banacorn/agda-language-server github similar
• thehottgame/TheHoTTGame github similar
• lukehutch/pikaparser github similar
• martinescardo/TypeTopology github similar
• PragmaTwice/protopuf github similar
• twjudson/aata github similar
• webyrd/miniKanren-with-symbolic-constraints github similar
• banacorn/agda-mode-vscode github similar
• mech-lang/mech github similar
• Agda-zh/PLFA-zh github similar
• grievejia/andersen github similar
• 8l/qbe github similar
• martinescardo/HoTTEST-Summer-School github similar
• Trebor-Huang/history github similar
• GaloisInc/macaw github similar
• aya-prover/aya-dev github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• eudoxia0/interim github similar
• adah1972/nvwa github similar
• agda/agda-categories github similar
• cil-project/cil github similar
• PhotonQuantum/magic-in-ten-mins-rs github similar
• ollef/Earley github similar
• leanprover-community/lean github similar
• agda/cubical github similar
• garbageslam/visit_struct github similar
• nanopass/nanopass-framework-scheme github similar
• BowenFu/matchit.cpp github similar
• sweirich/pi-forall github similar
• AliveToolkit/alive2 github similar