Popular repositories Loading

1. nuscr nuscr Public

   A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

   OCaml 31 17

2. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   Shell 1

3. oven oven Public

   A tool for handling Synthetic MPST specifications

   OCaml 1

4. nuscr.github.io nuscr.github.io Public

   HTML

5. vim-nuscr vim-nuscr Public

   Vim Script

6. baguette baguette Public

   Oven code generation for Rust

   Rust