Similar repositories to agda/agda-finite-prover:

• agda/agda-finite-prover github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• agda/bitvector github similar
• agda/agda-text-xml github similar
• agda/agda-web-uri github similar
• acowley/language-c github similar
• agda/agda-makefile github similar
• agda/agda-data-bindings github similar
• agda/categories github similar
• agda/agda-assoc-free github similar
• jonsterling/TT-Reflection github similar
• tvh/llvm-general-quote github similar
• pxqr/bittorrent github similar
• agda/agda-system-io github similar
• technogeeky/icfp12-paper-links github similar
• bwkimmel/secd github similar
• agda/agda-web-semantic github similar
• nmattia/haskell-hot-swap github similar
• idris-hackers/eff-tutorial github similar
• edwinb/Ivor github similar
• chrisdone/ats-examples github similar
• chrisamaphone/ml-mukanren github similar
• kwf/StrictCheck github similar
• edwinb/EpiVM github similar
• shachaf/mustardwatch github similar
• Gabriel439/Haskell-Nix-Derivation-Library github similar
• david-christiansen/derive-all-the-instances github similar
• haskell-suite/halberd github similar
• edwinb/WS-idr github similar
• puffnfresh/tryidris github similar
• TikhonJelvis/Cow github similar
• discus-lang/salt github similar
• EarlGray/SECD github similar
• david-christiansen/IdrisSqlite github similar
• andrewthad/colonnade github similar
• SMLFamily/SML-The-Living-Language github similar
• edwinb/SDL-idris github similar
• bgamari/bayes-stack github similar
• stepcut/idris-blink github similar