stedolan

counterexamples

Counterexamples in Type Systems

malfunction

Malfunctional Programming

mlsub

Prototype type inference engine

crowbar

Property fuzzing for OCaml

ppx_stage

Staged metaprogramming in stock OCaml

idris-malfunction

Experimental Malfunction backend for Idris

caml-oxide

safe FFI between OCaml and Rust (experimental)

git-ls

List files, annotated by git status

ocaml

some hacks

ocaml-afl-persistent

persistent-mode afl-fuzz for ocaml

moria

Embedded language for construction of DWARF

seqbuf

Sequential buffer access

sequent-subtyping

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

bisect_ppx

Code coverage for OCaml and ReScript

cpython

The Python programming language

dune

A composable build system for OCaml

flambda-backend

The Flambda backend project for OCaml

lwt

OCaml promises and concurrent I/O.

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-jst

OCaml plus Jane Street extensions

somerandompacket

cofe-fixpoints

ocaml-memory-model

ocaml-multicore

Multicore OCaml

ocaml-RFCs

Design discussions about the OCaml language

sail

Sail architecture definition language

sandmark

A benchmark suite for the OCaml compiler

stedolan.github.io

https://github.com/jqlang/jq/issues/4#issuecomment-1563771678

variable-access-benchmark

Benchmarking various means of accessing global variables