Rust interface for cvc5
☆17Oct 13, 2026Updated this week
Alternatives and similar repositories for cvc5-rs
Users that are interested in cvc5-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FPGA synthesis tool powered by equality saturation and program synthesis.☆15Jan 9, 2026Updated 9 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆21Jul 21, 2026Updated 2 months ago
- 🌌 The Plasm programming language compiler☆25Sep 14, 2026Updated last month
- A mutual induction tactic for Lean 4.☆33Sep 17, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A different approach to an E-graph library☆28May 30, 2025Updated last year
- Text embedding and re-ranking in Rust☆14Aug 5, 2026Updated 2 months ago
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 7 years ago
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated last month
- A Rust hashconsing library.☆39Oct 8, 2026Updated last week
- ☆13May 26, 2026Updated 4 months ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated 11 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆14Jun 15, 2026Updated 4 months ago
- ☆13Aug 17, 2026Updated 2 months ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆14Apr 20, 2020Updated 6 years ago
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆48Oct 5, 2026Updated 2 weeks ago
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated 2 months ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Proof infrastructure about LTL in Lean 4☆38Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- ☆20Sep 9, 2026Updated last month
- Lean formalization of selected lemmas from "Term Rewriting and All That"☆18Apr 20, 2026Updated 5 months ago
- ☆15Jul 1, 2025Updated last year
- Formal Semantics for Why3☆21Jul 15, 2026Updated 3 months ago
- Vermilion: Verus meets Lean☆60Updated this week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 8 years ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆16Nov 4, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- x64 semantics in Lean☆49Updated this week
- A formalization of ML kernel languages☆53Mar 26, 2026Updated 6 months ago
- Generic async runtime functions using a pluggable dispatcher☆19May 31, 2024Updated 2 years ago
- A fork of Yosys that integrates the CellIFT pass☆14Sep 12, 2026Updated last month
- A linter for Soufflé Datalog☆18Apr 1, 2024Updated 2 years ago
- ☆11Jul 1, 2025Updated last year
- Modding support for Traction Point☆17Jul 1, 2026Updated 3 months ago