Similar repositories to philzook58/nand2coq:

• philzook58/nand2coq github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• ReactTraining/react-router github similar
• meilisearch/MeiliSearch github similar
• pixijs/pixi.js github similar
• Lysxia/system-F github similar
• bramvdbogaerde/z3-wasm github similar
• aquynh/capstone github similar
• Eugeny/terminus github similar
• ubuntu/microk8s github similar
• juxt/crux github similar
• motemen/gore github similar
• xgrommx/coq-ecosystem github similar
• UCSD-PL/veridrone github similar
• ilyasergey/pnp github similar
• gionkunz/chartist-js github similar
• anton-trunov/coq-lecture-notes github similar
• vlopezj/coq-course github similar
• coq-community/gaia github similar
• philzook58/ad-lens github similar
• backtracking/ocaml-bazaar github similar
• jules-hedges/synthetic-probability github similar
• OUPL/MLCert github similar
• RobertHarper/hott-notes github similar
• ivanbakel/coq-antivalence github similar
• coq-community/topology github similar
• sifive/ProcKami github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• certichain/toychain github similar
• palmskog/coq-program-verification-template github similar
• raaz-crypto/verse-coq github similar
• coq-community/corn github similar
• evdenis/acsl-proved github similar
• clarus/coq-of-js github similar
• anuyts/agda-sessions github similar
• lawl/NoiseTorch github similar