Skip to content
@nuscr

nuscr

Popular repositories Loading

  1. nuscr nuscr Public

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

    OCaml 28 13

  2. oven oven Public

    A tool for handling Synthetic MPST specifications

    OCaml 1

  3. opam-repository opam-repository Public

    Forked from ocaml/opam-repository

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

    Shell

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

    HTML

  5. vim-nuscr vim-nuscr Public

    Vim Script

Repositories

Showing 5 of 5 repositories
  • oven Public

    A tool for handling Synthetic MPST specifications

    OCaml 1 0 9 0 Updated Oct 3, 2023
  • nuscr Public

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

    OCaml 28 GPL-3.0 13 9 0 Updated Sep 20, 2023
  • opam-repository Public Forked from ocaml/opam-repository

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

    Shell 0 CC0-1.0 1,186 0 0 Updated Jul 18, 2022
  • vim-nuscr Public
    Vim Script 0 GPL-3.0 0 0 0 Updated Nov 19, 2021
  • nuscr.github.io Public
    HTML 0 0 0 0 Updated Nov 20, 2020

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…