PBT testsuite and libraries for testing multicore OCaml
☆45Feb 1, 2026Updated last month
Alternatives and similar repositories for multicoretests
Users that are interested in multicoretests are comparing it to the libraries listed below
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 8 months ago
- Parallel version of incremental library☆20Nov 2, 2023Updated 2 years ago
- ☆53Feb 13, 2026Updated 2 weeks ago
- Effects-based OCaml Nameserver☆39Dec 3, 2025Updated 2 months ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated last year
- Experimental model checker for testing concurrent algorithms☆44Dec 17, 2024Updated last year
- An implementation of the Transmission Control Protocol in OCaml☆32Feb 17, 2026Updated last week
- Libbpf C-bindings for OCaml☆24Apr 4, 2025Updated 10 months ago
- Bindings to io_uring for OCaml☆64Sep 28, 2025Updated 5 months ago
- Monitor Eio programs☆86Feb 11, 2026Updated 2 weeks ago
- Little cli to convert md files into mld files☆26Feb 6, 2025Updated last year
- ☆24Oct 8, 2024Updated last year
- Lock-free Sets and Maps for OCaml multicore☆37Sep 20, 2022Updated 3 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- OpenSSL bindings to OCaml EIO☆20Jun 25, 2024Updated last year
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Mar 14, 2023Updated 2 years ago
- OCaml behind the scenes: exceptions☆31Oct 10, 2023Updated 2 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆13Jan 30, 2026Updated last month
- moved to☆10Oct 10, 2025Updated 4 months ago
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Port of HTTP/AF & H2 with Mirage and mimic☆30Feb 18, 2025Updated last year
- Cpu topology and affinity for ocaml-multicore☆51Sep 4, 2025Updated 5 months ago
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆44Oct 6, 2024Updated last year
- Generate various Docker ocaml images☆31Feb 4, 2026Updated 3 weeks ago
- MirageOS unikernels☆20May 31, 2022Updated 3 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Lets you create interactive shells in OCaml.☆10Sep 13, 2016Updated 9 years ago
- [alpha] lightweight fiber library for OCaml 5☆16Nov 5, 2024Updated last year
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- HTTP combinators for MirageOS☆11Oct 11, 2019Updated 6 years ago
- Logging module for OCaml☆11Aug 1, 2021Updated 4 years ago
- OCaml bindings for Wasmer☆34Oct 1, 2022Updated 3 years ago
- multi-shot continuations in OCaml☆51Nov 21, 2025Updated 3 months ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆87Sep 5, 2024Updated last year
- Software Transactional Memory for OCaml☆136Jun 14, 2025Updated 8 months ago