Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-multicore-ocaml
A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
https://github.com/ocaml-multicore/awesome-multicore-ocaml
Last synced: 2 days ago
JSON representation
-
Libraries
-
Eio
- io-uring - repository/pull/20695) is now available from opam-repository.
-
Lockfree
-
Lwt Support
-
-
Experiments
-
Dream
- draft PR - eio) to provide a direct-style interface to Dream.
-
Gemini Protocol
- gemini protocol - style using [eio](#eio).
- gemini protocol - style using [eio](#eio).
-
Multi-shot Continuations
-
capnp-rpc
- Eio port - rpc from Lwt to Eio.
-
gRPC
-
-
Resources
-
Wiki
- Multicore OCaml Wiki
- Effects examples
- Parallel Programming in Multicore OCaml - multicore/parallel-programming-in-multicore-ocaml#domainslib).
-
Papers
- Retrofitting Effect Handlers onto OCaml - fledged efficient implementation of effect handlers for OCaml.
- Parallelising your OCaml code with Multicore OCaml
- Retrofitting Parallelism onto OCaml
- Multicore OCaml memory model
- Concurrent System Programming with Effect Handlers
- Multicore OCaml
-
Talks
- video
- k-CAS for sweat-free concurrent programming
- video
- Experiences with Effects in OCaml - 380f-4e2a-bef5-c6bb9092be89))
- Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs - 91c9-4eaa-a4d7-c4f514de0a57))
- Adapting the OCaml Ecosystem for Multicore OCaml - bbd5-490d-98b0-d0c740912b02))
- Effective Programming in OCaml
- Multicore OCaml -- what's coming in 2021
- Parallelising your OCaml code with Multicore OCaml
- Retrofitting parallelism onto OCaml
- A deep dive into Multicore OCaml GC
- Reagents: Lock-free programming for the masses
- Arrows and Reagents
- Concurrent & Multicore OCaml: A deep dive
- Effective Concurrency with Algebraic Effects
- Multicore OCaml
-
Discuss Threads
- initial release
- scopes and effect handlers - 0-1-effects-based-direct-style-io-for-ocaml-5/9298/91).
- "How to block in an agnostic way" - to-block-in-an-agnostic-way/9368/4)).
- cancellation in the presence of concurrency from effects
- How do spawn and join interact with try_with
- roguelike - roguelike-with-effect-handlers/9422) (the full tutorial [is here](https://hackmd.io/@yF_ntUhmRvKUt15g7m1uGw/BJBZ7TMeq)). Related to that is another excellent article about coding [animations with effect handlers](https://gopiandcode.uk/logs/log-bye-bye-monads-algebraic-effects.html).
-
-
Ideas
-
Non-blocking Codec
-
Programming Languages
Categories
Sub Categories
Keywords