OptiTrust
☆15Oct 12, 2026Updated last week
Alternatives and similar repositories for optitrust
Users that are interested in optitrust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- OpenSCAD DSL for OCaml☆21May 2, 2023Updated 3 years ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated last week
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Abstract domain library for sets☆10Feb 23, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Fast vectorized bitarrays for OCaml☆16Jul 11, 2023Updated 3 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- Compiler backend☆16Aug 7, 2026Updated 2 months ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Lecture: Practical SAT Solving (ST 2025)☆13Jul 1, 2026Updated 3 months ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- Alternative implementation of the logical framework Dedukti in Rust☆25Apr 10, 2025Updated last year
- Extensible implementation of the RISC-V ISA based on FreeMonads☆20Dec 3, 2025Updated 10 months ago
- The official LLVM OCaml binding but built using dune☆25Feb 8, 2025Updated last year
- 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.
- Formal Semantics for Why3☆21Jul 15, 2026Updated 3 months ago
- ☆22Nov 23, 2023Updated 2 years ago
- ☆36Sep 9, 2026Updated last month
- PeAR - the Performant AFL Rewriter. Instrument Linux and Windows binaries with fuzzing instrumentation and more.☆19Aug 7, 2026Updated 2 months ago
- Binary analysis in HOL☆47Aug 28, 2026Updated last month
- Complexity Analysis Tool for Integer Programs☆15Jan 30, 2026Updated 8 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- OCaml bindings for libdrm☆13Mar 27, 2026Updated 6 months ago
- 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.
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- Just In Time compiler for OCaml native toplevel☆63Jan 3, 2024Updated 2 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Mar 31, 2026Updated 6 months ago
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 5 years ago
- ☆10Aug 18, 2025Updated last year
- A Neovim client for VsCoq 2 vscoqtop.☆14Nov 8, 2025Updated 11 months ago
- An independant OCaml lexer, extracted from OCaml/Camlp4☆12Jun 27, 2012Updated 14 years ago
- Compile OCaml to standalone ANSI C file☆53Apr 15, 2026Updated 6 months ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- 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.
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- Library for creating smooth cubic splines☆10Oct 15, 2020Updated 6 years ago
- Algorithms and datastructures for phylogenetics☆14Dec 24, 2025Updated 9 months ago
- Tracing library☆40Jul 10, 2026Updated 3 months ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 9 years ago
- ☆20Jul 15, 2026Updated 3 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago