Simon Fowler

cmm_of_wasm. A compiler from WebAssembly to native code, via the OCaml backend.

IdrisNet2. A proper network library for Idris, now that I know what I'm doing.

monitored-session-erlang. Supervised Session Actors

mbcheck. Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"

IdrisNet. Verified networking using dependent types

type-system-implementations. An ongoing project to implement and document many different algorithmic type systems

distributed-links-examples. Examples of Distributed Applications in Links

links. Links

session-type-checker. An implementation of the algorithmic type checking system for session types found in Vasco Vasconcelos' paper, "Fundamentals of Session Types".

mse-chat. Chat server using multiparty session types

talk-template. A LaTeX theme I like using, descending from Presento (https://github.com/RatulSaha/presento)

east-popl19-artifact. Artifact for "Exceptional Asynchronous Session Types: Session Types without Tiers", appearing at POPL'19

pico-doorsign. tinkering

temporal-linq-examples. Examples of Links temporal language-integrated query

mse-examples. Examples for Monitored Session Erlang

linear-mvu-artifact. Artifact for draft paper "Model-View-Update-Communicate: Session Types meet the Elm Architecture"

study-abroad-matcher. because I ain't doing 164 matchings manually

mmspider. MMS Crawler, notifies when grades are up

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

prov-force19. TeX

stickemu-ex. Stick Arena server in Elixir