Similar repositories to coq-community/reduction-effects:

• coq-community/reduction-effects github similar
• JasonGross/slow-coq-examples github similar
• danistefanovic/build-your-own-x github similar
• thery/twoSquare github similar
• hecrj/iced github similar
• clarus/coq-function-ninjas github similar
• pPomCo/coq-belgames-csl2023 github similar
• erikmd/docker-coq-travis-ci-demo-1 github similar
• amahboubi/lia4mathcomp github similar
• CoqHott/parametricity-a-la-carte github similar
• math-comp/docker-mathcomp github similar
• coq-community/coq-performance-tests github similar
• coq-community/proviola github similar
• letouzey/coq-mmaps github similar
• dongy7/scheme2js github similar
• jtassarotti/polaris github similar
• shonfeder/kwdcmd github similar
• coq-community/templates github similar
• coq-community/semantics github similar
• coq-community/atbr github similar
• coq-community/huffman github similar
• yforster/coqtheorem github similar
• coq-community/docker-coq-action github similar
• ejgallego/coq-plugin-template github similar
• EngineeringSoftware/roosterize github similar
• Matafou/LibHyps github similar
• coq-community/hoare-tut github similar
• lastland/ClairvoyanceMonad github similar
• coq-contribs/automata github similar
• mattam82/Constructors github similar
• dunnl/tealeaves github similar
• coq-community/bits github similar
• coq-community/docker-coq github similar
• coq-community/apery github similar
• coq-community/paramcoq github similar
• mit-plv/rewriter github similar
• coq-community/coqoban github similar
• coq/bignums github similar
• Armael/coq-procrastination github similar
• formal-land/coq-bonsai github similar