Stephen Dolan's repositories
counterexamples
Counterexamples in Type Systems
malfunction
Malfunctional Programming
idris-malfunction
Experimental Malfunction backend for Idris
caml-oxide
safe FFI between OCaml and Rust (experimental)
ocaml-afl-persistent
persistent-mode afl-fuzz for ocaml
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
bisect_ppx
Code coverage for OCaml and ReScript
flambda-backend
The Flambda backend project for OCaml
mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, ARP, IPv4/6, ICMP, and UDP/TCP support.
ocaml-multicore
Multicore OCaml
ocaml-RFCs
Design discussions about the OCaml language
stedolan.github.io
https://github.com/jqlang/jq/issues/4#issuecomment-1563771678
variable-access-benchmark
Benchmarking various means of accessing global variables