keigoi/ocaml-mpst-light

Stars
5
Rank 2,805,158 (Top 57 %)
Language
OCaml
License
Other
Created over 4 years ago
Updated about 4 years ago

keigoi/ocaml-mpst-light

keigoi

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

NOTE: An interactive programming interface is available at https://keigoi.github.io/ocaml-mpst-light/index.html

ocaml-mpst

Multiparty Session Types in OCaml

linocaml

Monad-based linear types in OCaml, with a few syntax extensions

session-ocaml

An implementation of binary session types in OCaml

coq4ios

moved to https://github.com/keigoi/Coq4iOS2

kmclib

hlist-ocaml

Heterogeneously-typed lists for OCaml

olt_ocaml

An encoding of Ordered Linear Types in OCaml

async-android

Asynchronous, composable, 'monadic' style task engine for Android-Java

caramel-mpst

Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)

ppx_fillup

Typeclass-based overloading using type-aware PPX (wip)

scribble-memo

Notes for scribble and scribble-ocaml https://github.com/scribble/scribble-java

concur-shims

Shims for concurrency monads in OCaml

Coq4iOS2

2deffects

old megademo effects \(^o^)/

session-ocaml2

A new sketch implementation of session-ocaml with a new treatment of branching labels https://github.com/keigoi/session-ocaml

lecture-repo

hass-config

https://www.home-assistant.io/docs/configuration/

mpst2

Next generation OCaml-MPST

FuSe-clone

A clone repository of Luca Padovani's FuSe http://www.di.unito.it/~padovani/Software/FuSe/FuSe.html

Jupyter Notebook