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/IdrisNet
Verified networking using dependent types
SimonJF/session-type-checker
An implementation of the algorithmic type checking system for session types found in Vasco Vasconcelos' paper, "Fundamentals of Session Types".
SimonJF/mmspider
MMS Crawler, notifies when grades are up
SimonJF/chatterl
Sinan based chat system built in Erlang
SimonJF/corewar-fsharp
An F# implementation of Core War (see http://vyznev.net/corewar/guide.html)
SimonJF/erlang-dns
Erlang/OTP DNS server
SimonJF/Idris-dev
A Dependently Typed Functional Programming Language
SimonJF/mmslib
Python Library to provide API Access to St Andrews Module Management System
SimonJF/mse-benchmarks
SimonJF/savina
Savina is an Actor Benchmark Suite.
SimonJF/SDL-idris
SDL bindings package for idris
SimonJF/session-types-use-cases
This is a common repository for the ABCD team to share use-cases of session types.
SimonJF/spls-oct2015
Website for SPLS 2015 at the University of Edinburgh
SimonJF/websharper.d3
WebSharper bindings to D3 (d3js.org)
SimonJF/websharper.ui.next