keigoi/ocaml-mpst keigoi/ocaml-mpst

  • Stars
    star
    56
  • Rank 530,104 (Top 11 %)
  • Language
    OCaml
  • Created over 6 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
keigoi/ocaml-mpst
github

keigoi

Reviews

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

Repository Details

Multiparty Session Types in OCaml

More Repositories

1

linocaml

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

session-ocaml

An implementation of binary session types in OCaml
OCaml
35
star
3

coq4ios

moved to https://github.com/keigoi/Coq4iOS2
Objective-C
24
star
4

kmclib

OCaml
11
star
5

hlist-ocaml

Heterogeneously-typed lists for OCaml
OCaml
9
star
6

olt_ocaml

An encoding of Ordered Linear Types in OCaml
OCaml
7
star
7

async-android

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

ppx_fillup

Typeclass-based overloading using type-aware PPX (wip)
OCaml
6
star
9

caramel-mpst

Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)
Erlang
5
star
10

ocaml-mpst-light

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

scribble-memo

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

concur-shims

Shims for concurrency monads in OCaml
OCaml
4
star
13

Coq4iOS2

Objective-C
4
star
14

2deffects

old megademo effects \(^o^)/
C++
2
star
15

session-ocaml2

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

lecture-repo

1
star
17

mpst2

Next generation OCaml-MPST
OCaml
1
star
18

hass-config

https://www.home-assistant.io/docs/configuration/
Python
1
star
19

ppx_ty_test

OCaml
1
star
20

rows-ocaml

OCaml
1
star
21

FuSe-clone

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