Multicore OCaml (ocaml-multicore)

Multicore OCaml

ocaml-multicore

Geek Repo

Github PK Tool:Github PK Tool

Multicore OCaml's repositories

eio

Effects-based direct-style IO for multicore OCaml

Language:OCamlLicense:NOASSERTIONStargazers:520Issues:25Issues:137

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

Language:OCamlLicense:ISCStargazers:415Issues:14Issues:8

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

Language:OCamlLicense:ISCStargazers:277Issues:16Issues:8

ocaml5-tutorial

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

Language:OCamlLicense:MITStargazers:193Issues:7Issues:4

saturn

Lock-free data structures for multicore OCaml

Language:OCamlLicense:ISCStargazers:173Issues:8Issues:31

domainslib

Parallel Programming over Domains

Language:OCamlLicense:ISCStargazers:163Issues:13Issues:50

awesome-multicore-ocaml

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

kcas

Software Transactional Memory for OCaml

Language:OCamlLicense:ISCStargazers:93Issues:8Issues:18

meio

Monitor Eio programs

Language:OCamlLicense:MITStargazers:75Issues:3Issues:15

picos

Interoperable effects based concurrency

Language:OCamlLicense:ISCStargazers:63Issues:10Issues:2

ocaml-uring

Bindings to io_uring for OCaml

Language:OCamlLicense:ISCStargazers:62Issues:11Issues:13

multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:36Issues:2Issues:135

lwt_eio

Use Lwt libraries from within Eio

Language:OCamlLicense:ISCStargazers:34Issues:5Issues:3

multicore-talks

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

Language:TeXStargazers:30Issues:9Issues:0

dscheck

Experimental model checker for testing concurrent algorithms

Language:OCamlLicense:ISCStargazers:29Issues:5Issues:6

retro-httpaf-bench

Benchmarking environment for http servers

Language:Jupyter NotebookStargazers:21Issues:5Issues:7

icfp-2023-eio-tutorial

Lwt to Eio tutorial

Language:OCamlStargazers:20Issues:9Issues:0

ocaml-tsan

Race detection in OCaml using the ThreadSanitizer runtime analysis.

Language:OCamlLicense:NOASSERTIONStargazers:20Issues:4Issues:14

par_incr

Parallel version of incremental library

Language:OCamlLicense:MITStargazers:19Issues:3Issues:0

domain-local-await

A scheduler independent blocking mechanism

Language:OCamlLicense:ISCStargazers:12Issues:10Issues:4

multicore-magic

Low-level multicore utilities for OCaml

Language:OCamlLicense:ISCStargazers:12Issues:6Issues:1

eio-trace

Trace visualisation tool for Eio programs

Language:OCamlLicense:ISCStargazers:10Issues:1Issues:0

backoff

Exponential backoff mechanism

Language:OCamlLicense:ISCStargazers:9Issues:5Issues:2

eio_js

Eio for JavaScript environments

Language:OCamlLicense:ISCStargazers:7Issues:4Issues:1

multicore-bench

Framework for benchmarking on multiple cores on current-bench

Language:OCamlLicense:ISCStargazers:7Issues:5Issues:0

thread-table

A lock-free thread-safe integer keyed hash table

Language:OCamlLicense:ISCStargazers:5Issues:9Issues:1

domain-local-timeout

A scheduler independent timeout mechanism

Language:OCamlLicense:ISCStargazers:4Issues:10Issues:3

eio_browser

Eio backend for the browser

Language:OCamlStargazers:3Issues:0Issues:0

single-use-event

A scheduler agnostic blocking mechanism

Language:OCamlLicense:ISCStargazers:1Issues:9Issues:1