Pinned Repositories
cmm_of_wasm
A compiler from WebAssembly to native code, via the OCaml backend.
distributed-links-examples
Examples of Distributed Applications in Links
IdrisNet
Verified networking using dependent types
IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
links
Links
mbcheck
Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
monitored-session-erlang
Supervised Session Actors
mse-chat
Chat server using multiparty session types
session-type-checker
An implementation of the algorithmic type checking system for session types found in Vasco Vasconcelos' paper, "Fundamentals of Session Types".
type-system-implementations
An ongoing project to implement and document many different algorithmic type systems
SimonJF's Repositories
SimonJF/mbcheck
Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
SimonJF/links
Links
SimonJF/type-system-implementations
An ongoing project to implement and document many different algorithmic type systems
SimonJF/pico-doorsign
tinkering
SimonJF/talk-template
A LaTeX theme I like using, descending from Presento (https://github.com/RatulSaha/presento)
SimonJF/linear-mvu-artifact
Artifact for draft paper "Model-View-Update-Communicate: Session Types meet the Elm Architecture"
SimonJF/temporal-linq-examples
Examples of Links temporal language-integrated query
SimonJF/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
SimonJF/prov-force19
SimonJF/study-abroad-matcher
because I ain't doing 164 matchings manually
SimonJF/abcd-lightning
SimonJF/abcd-mvu
SimonJF/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 ;)
SimonJF/django-auth-example
SimonJF/hotcrp
HotCRP conference review software
SimonJF/hotcrp-docker-compose
An easy docker-compose deployement of hotcrp
SimonJF/idcc20-gtopdb
SimonJF/ifl19-artifact
Artifact for Language-Integrated Updatable Views by Horn et al., accepted at IFL'19
SimonJF/learning-antlr
SimonJF/links-server
SimonJF/ocaml-ci
A CI for OCaml projects
SimonJF/pl4ds-shonan-meeting-2019-book
SimonJF/plfa
An introduction to programming language theory in Agda
SimonJF/postgresql-ocaml
OCaml-bindings for the PostgreSQL database
SimonJF/scottish-pl-institute.github.io
SPLI website
SimonJF/scribble-java
Core components for the Scribble Java tools
SimonJF/shonan-links
SimonJF/skye-gtopdb
Implementation of the GtoPdb in Links
SimonJF/spls-mvu-talk
SimonJF/splv23.github.io