Similar repositories to rntz/stlc:

• rntz/stlc github similar
• danistefanovic/build-your-own-x github similar
• roc-lang/roc github similar
• LightAndLight/idris-lambda-reflection github similar
• plt-hokusai/Rio github similar
• plt-hokusai/ahc github similar
• sarsko/CreuSAT github similar
• elpinal/canonical-singleton-kinds github similar
• asajeffrey/finite-dtypes github similar
• jyp/organ github similar
• ayberkt/chi github similar
• remexre/minidep github similar
• atennapel/tinka github similar
• paavohuhtala/MiniPL-RS github similar
• remexre/stahl github similar
• cj-xu/GentzenTrans github similar
• olivierverdier/GeometricAlgebra github similar
• elpinal/focused-modules github similar
• LightAndLight/bide github similar
• mgrabovsky/simurgh github similar
• yfcai/CREG github similar
• ziman/idris-scheme github similar
• argent0/idris-dataframe github similar
• ajrouvoet/implicits.agda github similar
• elpinal/rain-ml github similar
• gallais/great-library-of-idris github similar
• benjaminflin/idris-qsort github similar
• aatxe/diet-coke github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• sto0pkid/swipl-tt github similar
• Vierkantor/refinement-parsers github similar
• heyrutvik/nbe-a-tutorial github similar
• Lapin0t/induction-recursion github similar
• ollef/region github similar
• elpinal/tutor-ml-modules github similar
• W95Psp/verified-abstract-interpreter github similar
• john-ml/lambda-calculus github similar
• michaelsproul/dblib-linear github similar
• AndrasKovacs/preordertt github similar