Gabriel Scherer

icfp2016-papers. Link to preprints for ICFP'16 and co-located events

icfp2017-papers. Link to preprints for ICFP'17 and colocated events

popl2016-papers. Links to publicly available preprints for the POPL'16 conference

popl2017-papers. Link to preprints for POPL'17 and co-located events

popl2018-papers. Link to preprints for POPL'18 and colocated events

popl2014-papers.

icfp2013-papers. List of ICFP'13 accepted papers, with links to preprint or additional information when available

manual-ocamlbuild. A new reference manual for the ocamlbuild tool

random-generator. A small OCaml library to randomly generate values

ocaml-releases-change-explanation. A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and possible transitions

opam-compiler-conf. A small script to create short-lived OPAM compiler switches from experimental OCaml branches

gc-latency-experiment. Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-set-ghc-gc-pick-two/

popl2015-papers. Accepted papers for POPL 2015

opam-fmt. a formatting script for opam metadata

acmart. ACM consolidated LaTeX styles

ocaml-syntax-extension-discussion.

efftester. Effect-Driven Compiler Tester for OCaml

makam. The Makam Metalanguage

bisect. a mirror of http://bisect.x9c.fr/ converted using purcell/darcs-to-git

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

crowbar. Property fuzzing for OCaml

mttex. A LaTeX package for formatting meta-theory.

ocaml-bun. tired of typing afl-fuzz? try bun!

olmi. Provide lightweight interface for monads in OCaml

batteries-included. Batteries Included project

opam. OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

camlboot. Experiment on how to bootstrap the OCaml compiler

sedlex-menhir. Small example: sedlex-menhir vs ocamllex-ocamlyacc

stores. An OCaml library that offers several implementations of (in-memory) stores.

ocaml-better-errors. Make OCaml Errors Great Again

ocamlpp. OCaml binary files pretty-printer

types-chat-archive. Archives of the types Zulip chat -- https://typ.zulipchat.com/

owi. Symbolic execution for Wasm, C, C++, Rust and Zig