Bitwuzla SMT solver repackaged for convenient use in opam.
☆11Sep 28, 2026Updated 3 weeks ago
Alternatives and similar repositories for ocaml-bitwuzla
Users that are interested in ocaml-bitwuzla are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OpenSCAD DSL for OCaml☆21May 2, 2023Updated 3 years ago
- NeoVim setup in Lua for OCaml development☆14Sep 15, 2022Updated 4 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated 2 years ago
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated 2 years ago
- OCaml bindings for L-BFGS☆16Oct 12, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Lean-embedded framework to verify Verilog modules☆16Oct 6, 2026Updated last week
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- ☆16Jul 3, 2023Updated 3 years ago
- Automated Exploit Generation for Node.js Packages☆21Aug 19, 2026Updated last month
- ☆25Aug 6, 2026Updated 2 months ago
- ☆16Apr 16, 2021Updated 5 years ago
- A Lean implementation of Interaction Trees☆19Jan 13, 2025Updated last year
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆27Dec 10, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Jun 5, 2026Updated 4 months ago
- ☆12Oct 10, 2023Updated 3 years ago
- A simple python implementation of a DFA.☆23May 10, 2024Updated 2 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
- TAIDL: Tensor Accelerator ISA Definition Language☆23Updated this week
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Sail x86 model automatically translated from the ACL2 model☆15Nov 29, 2024Updated last year
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- ☆15Aug 29, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Compute mappings between arbitrary trees.☆18Jul 5, 2019Updated 7 years ago
- A simple OperatingSystem☆10Sep 9, 2022Updated 4 years ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated 3 weeks ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆10Sep 29, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 5 months ago
- ☆35Sep 12, 2019Updated 7 years ago
- Connecting bv_decide to SMTLIB.☆19Sep 27, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- This tool helps #blueteams detect bad actors who may be port scanning the network, and allows #redteams to practice honeypot evasion.☆11Oct 20, 2020Updated 5 years ago
- TensorRight: Automated Verification of Tensor Graph Rewrites☆27Oct 3, 2026Updated 2 weeks ago
- A rust crate to use stack-allocated vectors (to improve performance and/or when there is no std)☆12Feb 16, 2019Updated 7 years ago
- iEDA water-drop training initiative☆14Sep 10, 2024Updated 2 years ago
- ☆12Oct 10, 2024Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 8 months ago
- [COLM 2025] Official repo for Self-Steering Language Models☆30Aug 8, 2025Updated last year