Similar repositories to choukh/Computational-Metaphysics:

• choukh/Computational-Metaphysics github similar
• choukh/Baby-Set-Theory github similar
• mpedramfar/Lean-game-maker github similar
• choukh/Set-Theory github similar
• epfl-lara/leon github similar
• nimble-code/Spin github similar
• MetaCoq/metacoq github similar
• PrincetonUniversity/VST github similar
• jscoq/jscoq github similar
• HOL-Theorem-Prover/HOL github similar
• mwand/eopl3 github similar
• HoTT/HoTT github similar
• clash-lang/clash-compiler github similar
• leanprover-community/mathlib github similar
• dafny-lang/dafny github similar
• coq/coq github similar
• chipsalliance/chisel3 github similar
• Kindelia/HVM github similar
• cisco/ChezScheme github similar
• bitemyapp/learnhaskell github similar
• Z3Prover/z3 github similar
• github/semantic github similar
• apache/tvm github similar
• hmemcpy/milewski-ctfp-pdf github similar
• deezer/spleeter github similar
• google-research/bert github similar
• BurntSushi/ripgrep github similar