An SMT solver frontend for OCaml
☆68Feb 28, 2026Updated this week
Alternatives and similar repositories for smtml
Users that are interested in smtml are comparing it to the libraries listed below
Sorting:
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- A parsing library that compiles grammars to combinators using elimination of left recursion☆27Dec 22, 2025Updated 2 months ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- ☆17Aug 28, 2024Updated last year
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- Raw bindings to platform APIs for OCaml☆16Mar 18, 2024Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Sep 7, 2025Updated 5 months ago
- OCaml bindings to quickjs☆23Feb 23, 2026Updated last week
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- A declarative command-line parser for OCaml☆46Jan 5, 2026Updated last month
- EGraphs in OCaml☆80Jan 20, 2024Updated 2 years ago
- Functional Monadic Library for Ocaml☆57Feb 22, 2026Updated last week
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- Composable byte stream readers and writers for OCaml☆22Feb 13, 2026Updated 2 weeks ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- 2d game engine for OCaml☆75Nov 27, 2025Updated 3 months ago
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 3 months ago
- Testing and benchmarking tool for logic-related programs.☆28Updated this week
- A tool-agnostic formal specification language for OCaml.☆156Feb 13, 2026Updated 2 weeks ago
- ☆13Nov 23, 2019Updated 6 years ago
- Static site generator☆12Apr 6, 2025Updated 10 months ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 8 months ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated last year
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 2 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Static Analysis Results Interchange Format (SARIF) For OCaml☆14Mar 13, 2025Updated 11 months ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- A verified(?) TCP client/server chat application☆23Sep 29, 2025Updated 5 months ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆23Mar 26, 2023Updated 2 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- ☆23Sep 1, 2021Updated 4 years ago
- OCaml bindings to Minisat☆12May 6, 2024Updated last year
- OCaml bindings for AWS APIs, built on eio☆18Oct 12, 2025Updated 4 months ago
- Parallel version of incremental library☆20Nov 2, 2023Updated 2 years ago
- 👁️ A tool to execute a certain command when a target file is modified.☆15Jan 17, 2023Updated 3 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 3 months ago