Similar repositories to ahmadsalim/desc-n-crunch:

• ahmadsalim/desc-n-crunch github similar
• danistefanovic/build-your-own-x github similar
• mietek/coquand github similar
• clayrat/idris-trees github similar
• Saizan/parametric-demo github similar
• RyanGlScott/levitation github similar
• Kha/semantics-lean github similar
• bgoodspeed/idris-misc github similar
• bgoodspeed/idris-strings github similar
• jutaro/YCombinator github similar
• imuli/flow github similar
• david-christiansen/idris-tf-random github similar
• jyp/organ github similar
• craffit/thesis github similar
• crypto-agda/protocols github similar
• jmitchell/idris-elixir github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• ayberkt/agda-brzozowski github similar
• joshvera/software-foundations-in-idris github similar
• forestbelton/cooper github similar
• cpritcha/Idris-libpq github similar
• LightAndLight/idris-lambda-reflection github similar
• conal/calculating-compilers-agda github similar
• gallais/idris-tmustache github similar
• fsestini/tt-in-cubical github similar
• clayrat/idris-linear github similar
• larrytheliquid/generic-reuse github similar
• rntz/stlc github similar
• stg-tud/type-pragmatics github similar
• argent0/idris-dataframe github similar
• yfcai/CREG github similar
• tuura/selective-theory-agda github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• ajrouvoet/implicits.agda github similar
• liamoc/agda-snippets github similar
• AndrasKovacs/preordertt github similar
• gallais/typing-with-leftovers github similar
• jfdm/smokehill github similar
• danelahman/POPL18 github similar