KC Sivaramakrishnan

multiMLton. MLton for scalable multicore architectures

ezirmin. An easy interface on top of the Irmin library.

ocaml-aeio. Asynchronous effect based IO

Quelea. A Haskell library for declarative programming over eventually consistent store (Cassandra).

ocaml-tutorial. OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)

ocaml15-eff. Examples for Algebraic Effects talk at OCaml'15 Workshop

riscv-ocaml-cross. RISC-V OCaml cross compiler

irmin-datatypes. A collection of functional, mergeable datatypes for Irmin

mlton-zmq. Distributed MLton

delimcc_of_fxhandler. Delimcc primitives from OCaml 5 effect handlers

mergeable-vector. Mergeable vectors with operational transformation

reify_reflect_concurrency. (Monadic) reflections on concurrency

TFP17-system-effects. TFP 2017 Paper Repo for "Concurrent System Programming with Effect Handlers"

ocamlopt-afl. Fuzzing ocamlopt.opt

slacklogger. Bot for logging Slack messages

async-io-handler. Asynchronous IO with effect handlers

jupyter-swi-prolog. A Jupyter Kernel for SWI-Prolog

httpaf. A high performance, memory efficient, and scalable web server written in OCaml

fraplib. Coq

wasmfx. OCaml

ocaml_runtime_stats. OCaml

Z3_Haskell. Z3 Haskell bindings and extensions