AdrienChampion / hashconsingLinks
A Rust hashconsing library.
☆33Updated last year
Alternatives and similar repositories for hashconsing
Users that are interested in hashconsing are comparing it to the libraries listed below
Sorting:
- Alternative implementation of the logical framework Dedukti in Rust☆22Updated 5 months ago
- Easy SMT solver interaction☆35Updated 2 months ago
- The Pulse separation logic DSL for F*☆24Updated this week
- Datalog + Egg = Good☆66Updated 2 years ago
- LLVM support for the lean theorem prover☆51Updated 4 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- ☆31Updated 3 weeks ago
- The Steel separation logic library for F*☆36Updated last month
- Rust bindings for the Lean 4 proof assistant☆40Updated last week
- MiniSat reimplemented in Rust☆20Updated 7 years ago
- An ICE-based predicate synthesizer for Horn clauses.☆50Updated 3 months ago
- Datalog with equality for rust☆69Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆85Updated last month
- RustHorn: A CHC-based automated verifier for Rust☆87Updated 6 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 8 months ago
- Liquid Types implementation for Rust☆29Updated 3 years ago
- Cerberus C semantics☆69Updated last month
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆18Updated 4 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- dependent type theory experiment☆26Updated last year
- A Seamless, Interactive Tactic Learner and Prover for Coq☆74Updated last week
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago
- Interface with the rustc compiler for the purpose of program verification☆194Updated last week
- ☆22Updated 3 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆27Updated last week
- Racket Equivalence Graph Library☆19Updated 3 years ago
- Coq library for tactics, basic definitions, sets, maps☆49Updated 3 weeks ago
- Reference compiler for c0☆37Updated 4 months ago
- EGraphs in OCaml☆74Updated last year
- A Hindley-Milner polymorphic typing system☆59Updated last year