nuscr

Popular repositories Loading

nuscr nuscr Public

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

OCaml 31 17
opam-repository opam-repository Public

Forked from ocaml/opam-repository

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

Shell 1
oven oven Public

A tool for handling Synthetic MPST specifications

OCaml 1
nuscr.github.io nuscr.github.io Public

HTML
vim-nuscr vim-nuscr Public

Vim Script
baguette baguette Public

Oven code generation for Rust

Rust

Type Language Sort

oven Public
A tool for handling Synthetic MPST specifications

nuscr/oven's past year of commit activity

OCaml 1 0 9 0 Updated May 20, 2026
baguette Public
Oven code generation for Rust

nuscr/baguette's past year of commit activity

Rust 0 0 0 0 Updated May 20, 2026
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 31 GPL-3.0 17 9 0 Updated May 6, 2026
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 1 CC0-1.0 1,312 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.github.io Public

nuscr/nuscr.github.io's past year of commit activity

HTML 0 0 0 0 Updated Nov 20, 2020

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

Loading…

Loading…