ocaml-multicore/kcas

Stars
91
Rank 353,730 (Top 8 %)
Language
OCaml
License
ISC License
Created over 7 years ago
Updated about 1 month ago

ocaml-multicore/kcas

ocaml-multicore

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Software Transactional Memory for OCaml

ocaml-multicore

Multicore OCaml

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

eio

Effects-based direct-style IO for multicore OCaml

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

saturn

Lock-free data structures for multicore OCaml

domainslib

Parallel Programming over Domains

awesome-multicore-ocaml

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

reagents

Reagents for multicore OCaml

meio

Monitor Eio programs

ocaml-uring

Bindings to io_uring for OCaml

multicore-opam

OPAM repo for OCaml multicore development

picos

Interoperable effects based concurrency

multicoretests

PBT testsuite and libraries for testing multicore OCaml

lwt_eio

Use Lwt libraries from within Eio

eventlog-tools

Tools for the runtime tracing in OCaml 4.11.0 and higher

multicore-talks

Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"

dscheck

Experimental model checker for testing concurrent algorithms

ocaml-iomux

Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)

retro-httpaf-bench

Benchmarking environment for http servers

Jupyter Notebook

icfp-2023-eio-tutorial

Lwt to Eio tutorial

ocaml-tsan

Race detection in OCaml using the ThreadSanitizer runtime analysis.

par_incr

Parallel version of incremental library

ocaml-iocp

OCaml bindings to Windows' IOCP API

hdr_histogram_ocaml

tezos

Tezos running on Multicore OCaml

multicore-ocaml-verify

Verifying bits of Multicore OCaml implementation

multicore-magic

Low-level multicore utilities for OCaml

domain-local-await

A scheduler independent blocking mechanism

eio-trace

Trace visualisation tool for Eio programs

parafuzz

Property-based grey-box fuzzing for Multicore OCaml

backoff

Exponential backoff mechanism

eio_js

Eio for JavaScript environments

multicore-bench

Framework for benchmarking on multiple cores on current-bench

docs

thread-table

A lock-free thread-safe integer keyed hash table

domain-local-timeout

A scheduler independent timeout mechanism

dwarf_validator

Tool for validating wellformedness of DWARF unwind information

eio_browser

Eio backend for the browser

single-use-event

A scheduler agnostic blocking mechanism