Similar repositories to CVC4/signatures:

• CVC4/signatures github similar
• gibiansky/IHaskell github similar
• bedrocksystems/cpp2v github similar
• Dargones/libraries github similar
• neel-krishnaswami/ott-example github similar
• c-cube/smtlib-utils github similar
• alcides/AoC2021Lean4 github similar
• philzook58/z3-rise4fun github similar
• favonia/ocaml-objdump github similar
• fpottier/loop github similar
• slasser/CoStar github similar
• uwplse/coq-plugin-lib github similar
• metaocaml/metaocaml-opam github similar
• ucsd-progsys/liquid-sf github similar
• drouhling/LaSalle github similar
• unison-code/uni-instr-sel github similar
• arthurpaulino/LeanMySQL github similar
• backtracking/program-proofs-with-why3 github similar
• ekmett/nbe-in-java-19 github similar
• leanprover/lean4-samples github similar
• namin/blond github similar
• aws/aws-encryption-sdk-dafny github similar
• skbaek/Ethics github similar
• uw-unsat/jitsynth github similar
• kayceesrk/cs3100_f19 github similar
• awslabs/typecart github similar
• aeflores/CoFloCo github similar
• avigad/polya github similar
• jespercockx/ohrid19-agda github similar
• dricketts/teaching-concurrency github similar
• mb64/simple-lambda-prolog github similar
• Lysxia/coq-ceres github similar
• smtcoq/sniper github similar
• flupe/generics github similar
• ufmg-smite/lean-smt github similar
• karroffel/Idris2-Ocaml github similar
• mit-plv/rewriter github similar
• GaloisInc/lean4-balance-car github similar
• joehendrix/lean-crypto github similar
• opencompl/lean-mlir github similar