Similar repositories to steshaw/idris-miniml:

• steshaw/idris-miniml github similar
• gionkunz/chartist-js github similar
• mpu/lambda github similar
• sdiehl/llvm-tutorial-standalone github similar
• armory3d/haxebullet github similar
• sajith/cs-papers github similar
• UniMath/TypeTheory github similar
• nrnrnr/qc-- github similar
• ziman/idris-py github similar
• 7sharp9/write-you-an-inference-in-fsharp github similar
• JKTKops/Write-You-a-Haskell-2 github similar
• sighingnow/parsec.py github similar
• wh5a/Algorithm-W-Step-By-Step github similar
• ziman/lightyear github similar
• AndrasKovacs/elaboration-zoo github similar
• vellvm/vellvm github similar
• fsharp/zarchive-fsharpbinding github similar
• litxio/ptghci github similar
• agda/cubical github similar
• joaomilho/awesome-idris github similar
• esumii/min-caml github similar
• idris-hackers/software-foundations github similar
• sweirich/pi-forall github similar
• fsprojects/IfSharp github similar
• write-you-a-scheme-v2/scheme github similar
• CakeML/cakeml github similar
• mattgreen/hython github similar
• i-am-tom/haskell-exercises github similar
• michaelt/martin-lof github similar
• tomprimozic/type-systems github similar
• haskell/parsec github similar
• pcapriotti/optparse-applicative github similar
• MLton/mlton github similar
• snoyberg/conduit github similar
• rebar/rebar github similar
• sdiehl/kaleidoscope github similar
• plfa/plfa.github.io github similar
• CircleCI-Archived/frontend github similar
• nedbat/byterun github similar
• eliben/code-for-blog github similar