Discover SimonJF/session-type-checker Open Source project

This repository has been archived on 10/May/2019
Stars
6
Rank 2,539,965 (Top 51 %)
Language
Haskell
License
MIT License
Created about 10 years ago
Updated about 10 years ago

SimonJF

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

An implementation of the algorithmic type checking system for session types found in Vasco Vasconcelos' paper, "Fundamentals of Session 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

mbcheck

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

OCaml

IdrisNet

Verified networking using dependent types

Idris

distributed-links-examples

Examples of Distributed Applications in Links

CSS

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/session-type-checker

SimonJF

Reviews

Repository Details

More Repositories