OxCaml Parallelism
☆42May 18, 2026Updated this week
Alternatives and similar repositories for parallel
Users that are interested in parallel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Sep 29, 2025Updated 7 months ago
- GADT-based field accessors and utilities☆17Updated this week
- Compile OCaml to standalone ANSI C file☆46Apr 15, 2026Updated last month
- OCaml notebooks as a WebComponent☆52May 4, 2026Updated 2 weeks ago
- Library for tokenizing code with TextMate grammars☆15Apr 11, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An experimental JavaScript runtime built with OxCaml and JavaScriptCore☆95Jan 20, 2026Updated 4 months ago
- Lower-Kinded Optics for OCaml☆26Mar 16, 2025Updated last year
- Libbpf C-bindings for OCaml☆24Apr 4, 2025Updated last year
- ☆21Apr 2, 2026Updated last month
- ☆14Nov 17, 2025Updated 6 months ago
- OCaml support☆35Mar 25, 2026Updated last month
- Typed effects API for OxCaml☆28Updated this week
- OCaml bindings to macOS and iOS Cocoa frameworks☆38Nov 24, 2025Updated 5 months ago
- ☆15Mar 26, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Software Transactional Memory for OCaml☆139Jun 14, 2025Updated 11 months ago
- Solving the 1 Billion Row Challenge in MPL☆17Jan 9, 2024Updated 2 years ago
- An implementation of the Zarr storage format specification for chunked & compressed multidimensional arrays.☆25Apr 22, 2025Updated last year
- Lock-free data structures for multicore OCaml☆267May 23, 2025Updated 11 months ago
- Notes on OCaml debugging and performance☆16Apr 22, 2026Updated last month
- ☆13Sep 15, 2022Updated 3 years ago
- OCaml - Oxidized!☆736Updated this week
- Mirror of https://git.robur.coop/robur/webauthn/☆33Aug 20, 2025Updated 9 months ago
- Modern scientific computing for OCaml☆378Apr 20, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- ppx extension for string interpolation☆33Updated this week
- Realtime grep for OCaml/Coq sources available on opam☆89Sep 5, 2024Updated last year
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆20Mar 20, 2021Updated 5 years ago
- OCaml bindings for AWS APIs, built on eio☆20Oct 12, 2025Updated 7 months ago
- Algebraic structures in OCaml.☆26Apr 22, 2026Updated 3 weeks ago
- Vulkan 1.3 real-time path tracer using rpp and rvk☆33Dec 21, 2024Updated last year
- A set of components that fit, a priori, relatively well with the web framework (OCaml) Dream to try to build, at best, and quickly, dynam…☆54Jan 29, 2024Updated 2 years ago
- type safe routing for Dream and Melange☆27Aug 11, 2025Updated 9 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Documentation site for Melange☆25Mar 4, 2026Updated 2 months ago
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- ☆22Apr 12, 2024Updated 2 years ago
- Simplified interface to using Unix commands with OCaml☆12Apr 10, 2025Updated last year
- Tutorial for using the MPL compiler for Parallel ML☆23Jan 10, 2025Updated last year
- Interoperable effects based concurrency☆146Mar 17, 2026Updated 2 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year