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: 14 days ago
JSON representation

Libraries
- Eio
  - io-uring - repository/pull/20695) is now available from opam-repository.
- Lockfree
  - non-blocking
- 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
  - this discussion on discuss
- capnp-rpc
  - Eio port - rpc from Lwt to Eio.
- gRPC
  - Eio port
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
  - jsonm

Programming Languages

Categories

Resources 31 Experiments 6 Libraries 5 Ideas 1

Sub Categories

Talks 16 Discuss Threads 6 Papers 6 Wiki 3 Lwt Support 3 Gemini Protocol 2 capnp-rpc 1 Lockfree 1 Non-blocking Codec 1 Dream 1 Eio 1 Multi-shot Continuations 1 gRPC 1

Keywords

ocaml 2 rpc 1 grpc 1 multicore 1