Software Transactional Memory for OCaml
☆142Jun 14, 2025Updated last year
Alternatives and similar repositories for kcas
Users that are interested in kcas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lock-free data structures for multicore OCaml☆268Jul 16, 2026Updated 3 months ago
- Interoperable effects based concurrency☆152Mar 17, 2026Updated 7 months ago
- Monitor Eio programs☆89Jun 4, 2026Updated 4 months ago
- OpenSSL bindings to OCaml EIO☆20Jul 25, 2026Updated 3 months ago
- Parallel Programming over Domains☆187Dec 18, 2025Updated 10 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple scheduler for OCaml 5☆144Oct 13, 2026Updated 2 weeks ago
- PBT testsuite and libraries for testing multicore OCaml☆47Oct 12, 2026Updated 3 weeks ago
- What do you mean?☆49Updated this week
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- Effects-based direct-style IO for multicore OCaml☆736Updated this week
- Runtime assertion checking based on Gospel specifications☆58Oct 15, 2026Updated 2 weeks ago
- Reusable runtime library for network protocols☆48Mar 12, 2026Updated 7 months ago
- ☆56Oct 14, 2026Updated 2 weeks ago
- Adaptive Radix Tree in OCaml☆52May 8, 2026Updated 5 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A tool-agnostic formal specification language for OCaml.☆167Oct 23, 2026Updated last week
- Library for finding the CRC of parts of various kinds of data in-place☆11Jul 5, 2024Updated 2 years ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆72Updated this week
- ☆15Dec 11, 2020Updated 5 years ago
- Fast implementation of queue in OCaml☆52Feb 26, 2024Updated 2 years ago
- Bindings to io_uring for OCaml☆72Oct 4, 2026Updated 3 weeks ago
- Translate OCaml bytecode to WebAssembly☆132May 4, 2026Updated 5 months ago
- ☆20Feb 10, 2026Updated 8 months ago
- Experimental model checker for testing concurrent algorithms☆48Aug 1, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆42Apr 25, 2023Updated 3 years ago
- OxCaml Parallelism☆43Jul 10, 2026Updated 3 months ago
- Structural search of OCaml code☆35Oct 5, 2026Updated 3 weeks ago
- Parallelize _anything_ //☆54Oct 5, 2023Updated 3 years ago
- Web library for OCaml with support for HTTP/1.X / HTTP/2☆219Jul 25, 2026Updated 3 months ago
- ☆279Nov 24, 2025Updated 11 months ago
- OCaml bindings for Wasmer☆34Oct 1, 2022Updated 4 years ago
- Base library and tools for ppx rewriters☆302Oct 12, 2026Updated 3 weeks ago
- OCaml Web client, composable with Dream [unannounced]☆71Apr 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Cram like framework for OCaml☆196Jul 10, 2026Updated 3 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆87Oct 15, 2026Updated 2 weeks ago
- A platform-agnostic multi-level index☆33Oct 9, 2026Updated 3 weeks ago
- DKIM support on e-mail☆11Oct 9, 2026Updated 3 weeks ago
- Trivial Metaprogramming tool using the OCaml toplevel☆54Jul 29, 2026Updated 3 months ago
- Synonym of angkor☆25Mar 4, 2025Updated last year
- OCaml bindings for batsat (https://github.com/c-cube/batsat)☆12Mar 23, 2022Updated 4 years ago