Similar repositories to Bromind/pi-lambda:

• Bromind/pi-lambda github similar
• ice1000/arend-io github similar
• arend-lang/tutorial-code github similar
• thautwarm/DianaScript-JIT github similar
• TOTBWF/agda-tic-tac-toe github similar
• ziman/itt-idris github similar
• xnning/MpEff github similar
• cicada-lang/cicada github similar
• ice1000/ConsHoTT github similar
• ice1000/guest0x0 github similar
• jcomellas/ex_hl7 github similar
• vkoskiv/ruoste github similar
• johnwu1114/chinese-name github similar
• plclub/hs-to-coq github similar
• re-xyr/cleff github similar
• plausiblelabs/lens-rs github similar
• banacorn/agda-language-server github similar
• imtsuki/xv7 github similar
• kmill/lean4-raytracer github similar
• leanprover/vscode-lean github similar
• kowainik/typerep-map github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• idris-community/idris2-lsp github similar
• ShisoftResearch/Lightning github similar
• derekelkins/agda-vim github similar
• agda/agda2hs github similar
• dtolnay/readonly github similar
• banacorn/agda-mode-vscode github similar
• Strumenta/antlr-kotlin github similar
• Agda-zh/PLFA-zh github similar
• martinescardo/HoTTEST-Summer-School github similar
• maekawatoshiki/vicis github similar
• caotic123/PomPom-Language github similar
• aya-prover/aya-dev github similar
• cucapra/calyx github similar
• jyh1/mmaclone github similar
• Others/shredder github similar
• Hoverbear/getset github similar
• haskell/lsp github similar
• h0tk3y/better-parse github similar