Similar repositories to coq-community/hydra-battles:

• coq-community/hydra-battles github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• coq-community/coqoban github similar
• coq-community/bits github similar
• damien-pous/relation-algebra github similar
• mit-plv/rewriter github similar
• thery/hanoi github similar
• math-comp/mczify github similar
• tootsuite/mastodon github similar
• pixijs/pixi.js github similar
• meilisearch/MeiliSearch github similar
• thery/lemonde github similar
• bedrocksystems/cpp2v github similar
• math-comp/real-closed github similar
• akr/codegen github similar
• logsem/cerise github similar
• mit-plv/rupicola github similar
• coq-community/coqffi github similar
• EngineeringSoftware/roosterize github similar
• shonfeder/um-abt github similar
• palmskog/coq-program-verification-template github similar
• charguer/tlc github similar
• dunnl/tealeaves github similar
• coq-community/coq-performance-tests github similar
• logsem/free-theorems-sl github similar
• uds-psl/coq-library-undecidability github similar
• jdrprod/Oratio github similar
• ocurrent/mirage-ci github similar
• Julow/rss_to_mail github similar
• smimram/strid github similar
• ppedrot/ocaml-melt github similar
• cyril-allignol/ocaml-dimensions github similar
• math-comp/odd-order github similar
• coq-community/atbr github similar
• thery/T2048 github similar
• mvr/at github similar
• arthuraa/deriving github similar
• art-w/unicorn github similar
• ghuysmans/algebra github similar