Similar repositories to mgrabovsky/simurgh:

• mgrabovsky/simurgh github similar
• plt-hokusai/Rio github similar
• cj-xu/GentzenTrans github similar
• LightAndLight/idris-lambda-reflection github similar
• rntz/stlc github similar
• Blaisorblade/minidot github similar
• pa-ba/reg-machine github similar
• gabriel-fallen/rusty-krivine github similar
• asajeffrey/finite-dtypes github similar
• elpinal/rain-ml github similar
• gallais/great-library-of-idris github similar
• benjaminflin/idris-qsort github similar
• danelahman/Normalization-By-Evaluation github similar
• aatxe/diet-coke github similar
• ayberkt/chi github similar
• Vierkantor/refinement-parsers github similar
• Lapin0t/induction-recursion github similar
• brunoczim/typed-symmetric-interaction github similar
• W95Psp/verified-abstract-interpreter github similar
• ziman/itt github similar
• AHartNtkn/IotaTT github similar
• edwinb/ConcIO github similar
• elpinal/focused-modules github similar
• john-ml/lambda-calculus github similar
• ramsdell/agum github similar
• tolziplohu/durin github similar
• ayberkt/Mini-TT github similar
• sinelaw/hmf github similar
• johnynek/buildcart github similar
• kbertalan/tyttp github similar
• Trebor-Huang/Down-The-Path github similar
• luqui/dana github similar
• chameco/bramble github similar
• exists-forall/nickel github similar
• domdere/fp-in-idris github similar
• ziman/ttstar github similar
• TheMatten/hask github similar
• dorchard/effectful-explanations-talk github similar
• effectfully/Cubes github similar
• robrix/Manifold github similar