sneeuwballen / benchpressView external linksLinks
Testing and benchmarking tool for logic-related programs.
☆28Updated this week
Alternatives and similar repositories for benchpress
Users that are interested in benchpress are comparing it to the libraries listed below
Sorting:
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated last year
- Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.☆15Aug 15, 2022Updated 3 years ago
- OCaml bindings to Minisat☆12May 6, 2024Updated last year
- Ocaml SHA 1 and 2 family implementation using a really fast C implementation☆31Jan 23, 2023Updated 3 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆19Sep 5, 2021Updated 4 years ago
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Stub code generator for OCaml/C interface☆36Aug 1, 2025Updated 6 months ago
- Overlay over bigarrays of chars☆13Oct 23, 2020Updated 5 years ago
- IO independent postgres protocol implementation☆18May 29, 2023Updated 2 years ago
- Parser and printer for date-times in ISO8601☆28Feb 8, 2024Updated 2 years ago
- A test execution engine for Michelson smart contracts.☆17Mar 5, 2019Updated 6 years ago
- OCaml implementation of the MQTT pubsub protocol.☆19Nov 25, 2020Updated 5 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated this week
- A tool that creates stand-alone source bundles from opam packages☆27May 24, 2023Updated 2 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆16Dec 11, 2024Updated last year
- NanoID implementation for OCaml.☆20Mar 30, 2023Updated 2 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆88Updated this week
- Mathematical plotting library for ocaml☆40Jan 13, 2026Updated last month
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- Experimental opam plugin☆19Dec 3, 2025Updated 2 months ago
- RPC client/server for Irmin☆19Aug 5, 2021Updated 4 years ago
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- ☆10Nov 1, 2017Updated 8 years ago
- Cross compilation libraries for OCaml on ESP32 development☆11Mar 19, 2020Updated 5 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- literate programming meets unison☆28Jan 13, 2026Updated last month
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- Password based key derivation functions from PKCS#5, RFC 2898☆21Jul 15, 2024Updated last year
- fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.☆26Apr 2, 2025Updated 10 months ago
- High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli☆20Sep 28, 2023Updated 2 years ago
- OCaml code for generating and analysing pcap (packet capture) files☆20May 31, 2025Updated 8 months ago
- Binary packages for OPAM with local and remote repositories☆17Dec 27, 2022Updated 3 years ago
- Spin generator for fullstack Dream applications.☆20Jul 31, 2021Updated 4 years ago
- ☆35Jul 16, 2022Updated 3 years ago
- Implementation of some Erlang primitives in OCaml☆11Jun 16, 2017Updated 8 years ago