Leo White's repositories
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
row-subtyping
Row subtyping
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
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.
flambda-backend
The Flambda backend project for OCaml