Similar repositories to jdevuyst/rekenaar:

• jdevuyst/rekenaar github similar
• danistefanovic/build-your-own-x github similar
• thalerjonathan/gloss-idris github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• jdevuyst/dependable-data-structures github similar
• LightAndLight/idris-but-its-c github similar
• leon-vv/Todo github similar
• JoeyEremondi/lambda-pi-constraint github similar
• LightAndLight/parametricity-proofs github similar
• hablapps/LensAlgebra github similar
• ayberkt/simplc github similar
• LightAndLight/cbpv github similar
• ziman/idris-scheme github similar
• jdolson/univalence-from-scratch github similar
• LightAndLight/certified-lc github similar
• Lysxia/coq-recursion-schemes github similar
• mathandley/RTick github similar
• gibiansky/IHaskell github similar
• plt-hokusai/ahc github similar
• postalhq/postal github similar
• aquynh/capstone github similar
• Eugeny/terminus github similar
• ollef/incrementalism github similar
• vmchale/permutations github similar
• mrkgnao/pico github similar
• shayan-najd/HsAST github similar
• gmalecha/coq-printf github similar
• RobertHarper/hott-notes github similar
• jdublu10/STLC-to-SKI github similar
• bgavran/Idris_Category_Theory github similar
• andorp/ArchaIdr github similar
• ankitku/TAL0 github similar
• gallais/idris-tmustache github similar
• dboulytchev/miniKanren-coq github similar
• ayberkt/agda-brzozowski github similar
• gergoerdi/syntactic-stlc github similar
• LightAndLight/idris-lambda-reflection github similar
• bobatkey/system-f-parametricity-model github similar
• srdqty/talc-3.0 github similar