Simon Fowler's repositories
type-system-implementations
An ongoing project to implement and document many different algorithmic type systems
pico-doorsign
tinkering
talk-template
A LaTeX theme I like using, descending from Presento (https://github.com/RatulSaha/presento)
linear-mvu-artifact
Artifact for draft paper "Model-View-Update-Communicate: Session Types meet the Elm Architecture"
temporal-linq-examples
Examples of Links temporal language-integrated query
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
study-abroad-matcher
because I ain't doing 164 matchings manually
bayesian-hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
hotcrp-docker-compose
An easy docker-compose deployement of hotcrp
ifl19-artifact
Artifact for Language-Integrated Updatable Views by Horn et al., accepted at IFL'19
postgresql-ocaml
OCaml-bindings for the PostgreSQL database
scottish-pl-institute.github.io
SPLI website
scribble-java
Core components for the Scribble Java tools
skye-gtopdb
Implementation of the GtoPdb in Links