Gbury / dolmenView external linksLinks
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
☆88Updated this week
Alternatives and similar repositories for dolmen
Users that are interested in dolmen are comparing it to the libraries listed below
Sorting:
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Convert a cmi file back to an mli interface☆13Oct 4, 2012Updated 13 years ago
- Testing and benchmarking tool for logic-related programs.☆28Updated this week
- Medium weight threads - preemptive thread pools for Lwt☆30May 15, 2021Updated 4 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 3 years ago
- Reading and writing zip and gzip files from OCaml☆44Updated this week
- Building Lua interpreters with lot's of functors☆13Jul 31, 2018Updated 7 years ago
- A Deductive Verification Tool for OCaml Programs☆76Oct 9, 2025Updated 4 months ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated 3 weeks ago
- A library for printing OCaml values with sharing☆25Apr 1, 2022Updated 3 years ago
- Libraries for reliable manipulation JSON objects.☆23May 6, 2022Updated 3 years ago
- Print with style in your terminal using Format's semantic tags☆20Oct 27, 2023Updated 2 years ago
- 7GUIs implemented in OCaml with LablGtk3☆16Apr 5, 2025Updated 10 months ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- Convert Markdown and YAML Data to OCaml Modules☆17Apr 26, 2023Updated 2 years ago
- A dynamic way to instantiate an OCaml flow☆17Jun 25, 2024Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Streaming ZIP XML XLSX parser☆20Dec 22, 2024Updated last year
- A shell library for OCaml☆86Updated this week
- Generate various Docker ocaml images☆31Feb 4, 2026Updated last week
- Trivial/Tagless Polytypic Functions☆23Apr 14, 2020Updated 5 years ago
- Functional Priority Search Queues for OCaml☆53Mar 30, 2024Updated last year
- CI in tty☆14Jun 26, 2023Updated 2 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- DKIM support on e-mail☆11Feb 5, 2026Updated last week
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- An OCaml library for describing and simulating synchronous finite state machines")☆33Mar 30, 2021Updated 4 years ago
- line based patch, input is a unified diff☆24Nov 6, 2025Updated 3 months ago
- A library to write web server and site☆24Updated this week
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- OpenSSL bindings to OCaml EIO☆20Jun 25, 2024Updated last year
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated 9 months ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 7 years ago
- What do you mean?☆47Dec 10, 2025Updated 2 months ago
- List of bindings in OCaml to cordova plugins.☆26Oct 21, 2016Updated 9 years ago
- Meta-preprocessor for OCaml☆79Jan 3, 2024Updated 2 years ago