Similar repositories to msullivan/godels-t:

• msullivan/godels-t github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• orca-lang/orca github similar
• ziman/idris-benchmarks github similar
• emarzion/SystemT github similar
• nicolabotta/SeqDecProbs github similar
• ziman/text github similar
• scott-fleischman/agda-from-nothing-2017 github similar
• heades/System-F-Coq github similar
• GaloisInc/lean-haskell-bindings github similar
• FranckS/RingIdris github similar
• ezyang/lr-agda github similar
• gallais/agda-nbe github similar
• david-christiansen/IdrisSqlite github similar
• wenkokke/msla2014 github similar
• edwinb/WS-idr github similar
• idris-hackers/idris-posix github similar
• pedagand/typechecker-evolution github similar
• abooij/wiwikwlhott github similar
• picty/parsifal github similar
• jwiegley/coq-pipes github similar
• edwinb/Protocols github similar
• batterseapower/test-framework github similar
• coq-concurrency/pluto github similar
• amintimany/Categories github similar
• jozefg/nbe-for-mltt github similar
• schell/steeloverseer github similar
• ezyang/logitext github similar
• ix/lyrica github similar
• copumpkin/categories github similar
• mmirman/caledon github similar
• kwf/ComonadSheet github similar
• creswick/cabal-dev github similar
• timjb/quantities github similar
• stefanct/sglib github similar
• idris-hackers/idris-koans github similar
• RedPRL/redtt github similar
• idris-hackers/idris-demos github similar
• liamoc/learn-you-an-agda github similar