Discover @SimonJF Open Source projects

Simon Fowler (@SimonJF)

SimonJF

Stars
238
Global Rank 104,451 (Top 4 %)
Followers 111
Following 55
Registered about 11 years ago
Most used languages

OCaml
25.0 %

Erlang
18.8 %

CSS
12.5 %

TeX
12.5 %

Idris 12.5 %

Elixir
6.3 %

C
6.3 %

Haskell
6.3 %
Location 🇬🇧 United Kingdom
Country Total Rank 5,062
Country Ranking

Idris 3

OCaml
29

Erlang
35

Elixir
249

Haskell
318

TeX
500

CSS
743

C
3,002

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

distributed-links-examples

Examples of Distributed Applications in Links

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

mse-chat

Chat server using multiparty session types

pico-doorsign

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

temporal-linq-examples

Examples of Links temporal language-integrated query

mse-examples

Examples for Monitored Session Erlang

stickemu-ex

Stick Arena server in Elixir

linear-mvu-artifact

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

mmspider

MMS Crawler, notifies when grades are up

prov-force19