Kleene algebra modulo theories
☆27Nov 21, 2022Updated 3 years ago
Alternatives and similar repositories for kmt
Users that are interested in kmt are comparing it to the libraries listed below
Sorting:
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Mar 7, 2021Updated 4 years ago
- Detect root CA certificates from the operating system☆14Nov 24, 2025Updated 3 months ago
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Oct 14, 2025Updated 4 months ago
- Code Continuity Analysis Framework☆23Mar 3, 2025Updated last year
- A sample syntax extension using OCaml's new extension points API.☆25Jul 5, 2024Updated last year
- Toplevel expectation test☆19Jan 15, 2026Updated last month
- Fast, safe mutable dynamic arrays for OCaml☆28Jan 18, 2024Updated 2 years ago
- A random generator of Lua programs☆12Feb 21, 2026Updated last week
- Easy Cmdliner☆13Jan 12, 2026Updated last month
- 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
- A library for printing OCaml values with sharing☆25Apr 1, 2022Updated 3 years ago
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- Moved to https://git.jeffas.net☆16Apr 8, 2019Updated 6 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆39Mar 26, 2023Updated 2 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Stripped-down version of mccs with OCaml bindings☆23Jan 9, 2025Updated last year
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆17Dec 21, 2015Updated 10 years ago
- A Btree library in OCaml☆18Mar 30, 2023Updated 2 years ago
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated last year
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Oct 1, 2023Updated 2 years ago
- A platform-agnostic multi-level index☆33Feb 5, 2026Updated 3 weeks ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆43Jul 8, 2024Updated last year
- Javascripts stubs for the Zarith library☆22Jan 15, 2026Updated last month
- MirageOS unikernels☆20May 31, 2022Updated 3 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 3 years ago
- collect activity and format as markdown for a journal☆18Sep 2, 2021Updated 4 years ago
- OCaml library to reuse Cairo-based drawing code in browser☆18May 2, 2019Updated 6 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Deriving morphisms for OCaml data structures☆10Aug 28, 2019Updated 6 years ago
- A library for typed manipulation of UNIX-style file paths.☆13Jan 15, 2026Updated last month
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- Internationalisation library for Web applications (server and/or client)☆13Dec 9, 2025Updated 2 months ago
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- bindings for QT5 widgets☆10Mar 25, 2016Updated 9 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- A jabber logger and web interface☆12Jan 5, 2026Updated last month