Discover SimonJF/mbcheck Open Source project

Stars
11
Rank 1,694,829 (Top 34 %)
Language
OCaml
Created over 1 year ago
Updated 4 months ago

SimonJF

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

cmm_of_wasm

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

OCaml

IdrisNet2

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

Idris

monitored-session-erlang

Supervised Session Actors

Erlang

IdrisNet

Verified networking using dependent types

Idris

distributed-links-examples

Examples of Distributed Applications in Links

CSS

session-type-checker

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

Haskell

type-system-implementations

An ongoing project to implement and document many different algorithmic type systems

OCaml

mse-chat

Chat server using multiparty session types

Erlang

pico-doorsign

tinkering

talk-template

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

TeX

east-popl19-artifact

Artifact for "Exceptional Asynchronous Session Types: Session Types without Tiers", appearing at POPL'19

CSS

temporal-linq-examples

Examples of Links temporal language-integrated query

mse-examples

Examples for Monitored Session Erlang

Erlang

linear-mvu-artifact

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

OCaml

study-abroad-matcher

because I ain't doing 164 matchings manually

Python

stickemu-ex

Stick Arena server in Elixir

Elixir

mmspider

MMS Crawler, notifies when grades are up

prov-force19

TeX

SimonJF/mbcheck

SimonJF

Reviews

Repository Details

More Repositories