keigoi/ocaml-mpst-light keigoi/ocaml-mpst-light

  • Stars
    star
    5
  • Rank 2,803,294 (Top 57 %)
  • Language
    OCaml
  • License
    Other
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
keigoi/ocaml-mpst-light
github

keigoi

Reviews

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

Repository Details

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

More Repositories

1

ocaml-mpst

Multiparty Session Types in OCaml
OCaml
56
star
2

linocaml

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

session-ocaml

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

coq4ios

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

kmclib

OCaml
11
star
6

hlist-ocaml

Heterogeneously-typed lists for OCaml
OCaml
9
star
7

olt_ocaml

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

async-android

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

caramel-mpst

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

ppx_fillup

Typeclass-based overloading using type-aware PPX (wip)
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

hass-config

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

mpst2

Next generation OCaml-MPST
OCaml
1
star
19

FuSe-clone

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