Stephen Dolan

counterexamples. Counterexamples in Type Systems

malfunction. Malfunctional Programming

mlsub. Prototype type inference engine

crowbar. Property fuzzing for OCaml

bf.sed. A brainfuck compiler, written in sed

ppx_stage. Staged metaprogramming in stock OCaml

idris-malfunction. Experimental Malfunction backend for Idris

caml-oxide. safe FFI between OCaml and Rust (experimental)

minhttp. A tiny and surprisingly featureful webserver

git-ls. List files, annotated by git status

pathfinder. pythonic filesystem library

ocaml. some hacks

hax. Random scripts, snippets of code, whatever.

libfib. A library for high-performance lightweight threads

ocaml-afl-persistent. persistent-mode afl-fuzz for ocaml

linkage. easy-to-use wrapper for OCaml's Dynlink

llvm. Context switching for LLVM

Sandbox. Sandbox for running native code under Linux at full speed, without allowing it to do anything other than read/write stdio

bzseek. Random access library for bzip2 files

moria. Embedded language for construction of DWARF

cshore. Call C from Python without writing bindings

with-gdb. Attaches gdb to crashed processes

nd. Netsoc LDAP directory

clang. Clang C/C++ compiler, with patches to support context-switching

wikiflow. random walks through human knowledge

fyp. Final year project

python-monkeypatch. Bringing Ruby best practices to Python

Altitude. Debugging above C level

sneeky. Steganography through bad spelling

sequent-subtyping. Coq

seqbuf. Sequential buffer access

irclinks. IRC network visualisation

cpython. The Python programming language

bandgraph. Scale-space visualisation of time-series data

lwt. OCaml promises and concurrent I/O.

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

the_silver_searcher. A code-searching tool similar to ack, but faster.

dune. A composable build system for OCaml

bisect_ppx. Code coverage for OCaml and ReScript

ocaml-jst. OCaml plus Jane Street extensions

mirage-tcpip. TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, ARP, IPv4/6, ICMP, and UDP/TCP support.

flambda-backend. The Flambda backend project for OCaml

opam-repo-dev. Development OPAM repository for work-in-progress packages

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