self-modifying test library for janet

A test case runner for Sigma rules

Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec

a structural diff that understands syntax 🟥🟩

A simple app to test out irmin and dream

OCaml bindings to Windows' IOCP API

OCaml Web client, composable with Dream [unannounced]

Realtime grep for OCaml/Coq sources available on opam

Can I port Python's stdlib to OCaml (so I can code in OCaml using Python forms of stdlib functions)?

magic-trace collects and displays high-resolution traces of what a process is doing

Tracing library

A library for printing OCaml values with sharing

Use Lwt libraries from within Eio

Wrapper to Equinix API - Archived

NanoID implementation for OCaml.

A library for manipulating, creating and parsing GeoJSON

A lightweight and colourful test framework

Experimental model checker for testing concurrent algorithms

For when I forget how Irmin works...

Verified hash-based AMQ structures in Coq

Pure & Incomplete STUN protocol in OCaml

A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

An OCaml library implementing unifiable abstract binding trees (UABTs)

Segfault Systems Website

SML reference interpreter