PBT testsuite and libraries for testing multicore OCaml
☆45Apr 8, 2026Updated this week
Alternatives and similar repositories for multicoretests
Users that are interested in multicoretests are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Feb 6, 2025Updated last year
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 9 months ago
- ☆53Mar 10, 2026Updated last month
- Effects-based OCaml Nameserver☆40Mar 31, 2026Updated last week
- Parallel version of incremental library☆20Nov 2, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- OCaml behind the scenes: exceptions☆31Oct 10, 2023Updated 2 years ago
- An implementation of the Transmission Control Protocol in OCaml☆33Feb 17, 2026Updated last month
- Monitor Eio programs☆87Feb 11, 2026Updated 2 months ago
- Libbpf C-bindings for OCaml☆24Apr 4, 2025Updated last year
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Mar 14, 2023Updated 3 years ago
- ☆13Mar 30, 2026Updated last week
- Bindings to io_uring for OCaml☆65Sep 28, 2025Updated 6 months ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated 2 years ago
- Experimental model checker for testing concurrent algorithms☆44Dec 17, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lock-free Sets and Maps for OCaml multicore☆37Sep 20, 2022Updated 3 years ago
- Cpu topology and affinity for ocaml-multicore☆51Sep 4, 2025Updated 7 months ago
- MirageOS unikernels☆20May 31, 2022Updated 3 years ago
- Little cli to convert md files into mld files☆26Feb 6, 2025Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆88Sep 5, 2024Updated last year
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆44Oct 6, 2024Updated last year
- OpenSSL bindings to OCaml EIO☆20Jun 25, 2024Updated last year
- Port of HTTP/AF & H2 with Mirage and mimic☆30Feb 18, 2025Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A simple note-taking app☆15Mar 4, 2026Updated last month
- line based patch, input is a unified diff☆24Nov 6, 2025Updated 5 months ago
- ☆24Oct 8, 2024Updated last year
- Lets you create interactive shells in OCaml.☆10Sep 13, 2016Updated 9 years ago
- moved to☆10Oct 10, 2025Updated 6 months ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Generate various Docker ocaml images☆31Mar 30, 2026Updated last week
- [alpha] lightweight fiber library for OCaml 5☆16Nov 5, 2024Updated last year
- Logging module for OCaml☆11Aug 1, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Examples to illustrate the use of experimental OCaml macros☆13Jan 5, 2018Updated 8 years ago
- Experimental opam plugin☆19Mar 17, 2026Updated 3 weeks ago
- Trivial/Tagless Polytypic Functions☆23Apr 14, 2020Updated 5 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Fast char sets☆20May 5, 2025Updated 11 months ago
- generic I/O streams of bytes☆27Jul 3, 2025Updated 9 months ago