Leo White

girards-paradox. A "implementation" of Girard's paradox in OCaml

ocaml-typed-effects. OCaml with typed algebraic effects

namespaces. Proposal for namespacing in OCaml

prof_spacetime. Prof. Spacetime

implicits-module-system. Work on modular implicits

shifted-names. Coq library for handling names

split-arrow. An alternative presentation of arrows

ecaml. ecaml

async_graphics. Async wrapper for OCaml Graphics library

talks. Sources for talks I've given

row-subtyping. Row subtyping

compiler_eq. Tool for comparing OCaml compilers

ocaml-with-pp. OCaml driver with pre-linked pp options

mode-semantics. Coq

dune-effects. Dune but with effects

spacetime_lib. Library for decoding Spacetime profiles

opam-doc-base. Store documentation for OPAM packages

opam-units. Library for querying the libraries and compilation units of OPAM packages

nominal-effects. Paper and prototype on nominal algebraic effects

ocaml. My experiments with and extensions to OCaml

alternative-effects-api. An alternative to the upstream effects module

bin-doc. Store OCamlDoc info in a binary file

modular-macros-spec. Specification for part of modular macros

ocaml-cmt-doc. Experiment with adding OCamlDoc info to the parse tree

ocaml-open. Add open extensible types to OCaml (forked from ocaml/ocaml)

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

lpw25.github.com. Website