ocaml-multicore/dscheck

Stars
33
Rank 783,877 (Top 16 %)
Language
OCaml
License
ISC License
Created about 3 years ago
Updated 5 months ago

ocaml-multicore/dscheck

ocaml-multicore

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

Experimental model checker for testing concurrent algorithms

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

kcas

Software Transactional Memory for OCaml

picos

Interoperable effects based concurrency

meio

Monitor Eio programs

ocaml-uring

Bindings to io_uring for OCaml

multicore-opam

OPAM repo for OCaml multicore development

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"

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

uring-trace

Visualization tool for your IO-uring workload

hdr_histogram_ocaml

tezos

Tezos running on Multicore OCaml

multicore-magic

Low-level multicore utilities for OCaml

domain-local-await

A scheduler independent blocking mechanism

multicore-ocaml-verify

Verifying bits of Multicore OCaml implementation

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

fun-ocaml-workshop

Fun OCaml workshop

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