ocaml-multicore / picos
Interoperable effects based concurrency
☆94Updated this week
Related projects ⓘ
Alternatives and complementary repositories for picos
- A simple scheduler for OCaml 5☆93Updated last month
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 5 months ago
- Documentation of the OCaml implementation☆53Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆78Updated 2 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last month
- Monitor Eio programs☆77Updated 8 months ago
- Fuzzy type search for OCaml documentation☆72Updated 4 months ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆35Updated 3 weeks ago
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- Petrol's an OCaml SQL API made to go FAST.☆113Updated last month
- A shell library for OCaml☆77Updated 7 months ago
- Software Transactional Memory for OCaml☆109Updated last week
- Lock-free data structures for multicore OCaml☆203Updated this week
- The best way for developers to write software in OCaml☆61Updated last year
- Build OCaml projects with Nix.☆54Updated 2 months ago
- OCaml linter☆67Updated 3 weeks ago
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- A declarative command-line parser for OCaml☆28Updated 3 weeks ago
- Interactive breakpoints!☆43Updated 6 months ago
- Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries☆33Updated 8 months ago
- Minimal HTTP server using good old threads + blocking IO, with a small request router.☆74Updated 2 weeks ago
- ☆54Updated 3 weeks ago
- ☆41Updated last year
- Template for an ocaml project with modern tooling☆76Updated last month
- A CI for OCaml projects☆112Updated this week
- Experimental model checker for testing concurrent algorithms☆32Updated 4 months ago
- Lightweight document☆132Updated 4 months ago
- Dependency graphs for OCaml modules, libraries and packages☆34Updated 4 months ago
- Purely functional GUI algebra☆72Updated 2 years ago
- Tools for record-and-replay debugging☆42Updated last year