lpw25

namespaces

Proposal for namespacing in OCaml

prof_spacetime

Prof. Spacetime

implicits-module-system

Work on modular implicits

shifted-names

Coq library for handling names

async_graphics

Async wrapper for OCaml Graphics library

talks

Sources for talks I've given

row-subtyping

Row subtyping

mode-semantics

spacetime_lib

Library for decoding Spacetime profiles

alternative-effects-api

An alternative to the upstream effects module

nominal-effects

Paper and prototype on nominal algebraic effects

ocaml

My experiments with and extensions to OCaml

split-arrow

An alternative presentation of arrows

modular-macros-spec

Specification for part of modular macros

lpw25.github.com

Website

opam-repository

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

angstrom

Parser combinators built for speed and memory efficiency

cubical

An experimental library for Cubical Agda

doc-ock

Documentation generation for OCaml

flambda-backend

The Flambda backend project for OCaml

memtrace

Streaming client for OCaml's Memprof

merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml-jst

OCaml plus Jane Street extensions

ocamlcfg

octavius

ocamldoc comment syntax parser

odoc

a documentation generator

owee

OCaml library to work with DWARF format

RFCs

Design discussions about the OCaml language

scones

Some scones

wasm-spec

WebAssembly specification, reference interpreter, and test suite.