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 27 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

    nuscr/oven’s past year of commit activity
    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.

    nuscr/nuscr’s past year of commit activity
    OCaml 27 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.

    nuscr/opam-repository’s past year of commit activity
    Shell 0 CC0-1.0 1,164 0 0 Updated Jul 18, 2022
  • vim-nuscr Public
    nuscr/vim-nuscr’s past year of commit activity
    Vim Script 0 GPL-3.0 0 0 0 Updated Nov 19, 2021
  • nuscr/nuscr.github.io’s past year of commit activity
    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…

Most used topics

Loading…