Similar repositories to cogumbreiro/brenner-coq:

• cogumbreiro/brenner-coq github similar
• twitter/ambrose github similar
• minad/tasty-stats github similar
• mathandley/RTick github similar
• shaunlebron/parinfer github similar
• inanna-malick/hgit github similar
• csabahruska/grin-datalog-hpt-experiment github similar
• DataHaskell/analyze github similar
• jeltsch/incremental-computing github similar
• eliaslfox/hkt github similar
• csabahruska/game-logic-experiment github similar
• oguzhan/umbrella github similar
• chessai/diet github similar
• haskell-distributed/network-transport-tests github similar
• drdo/logic-translation github similar
• andrewthad/torsor github similar
• LightAndLight/stg-llvm github similar
• maaleske/clif github similar
• rohitjha/DiMPL github similar
• tweag/rules_haskell_examples github similar
• nikivazou/proof-combinators github similar
• eugmes/imp github similar
• yveszhang/ldtyping github similar
• bgamari/play-type-search github similar
• mbudde/jana github similar
• subpl/truth-tables github similar
• alex-mckenna/optimum github similar
• exosphere-lang/compiler github similar
• LightAndLight/closure github similar
• DianaPajon/tiger github similar
• leftaroundabout/dumb-cas github similar
• ekmett/monad-ran github similar
• srdqty/talc-3.0 github similar
• nobrakal/tungsten github similar
• lehins/massiv-io github similar
• beijaflor-io/haskell-language-hcl github similar
• spaceships/circuit-synthesis github similar
• ChrisPenner/update-monad github similar
• msakai/data-interval github similar
• gdijkstra/hs-to-gallina github similar