Skip to content

@nuscr nuscr

Change the repository type filter

All

    Repositories list

    5 repositories

    • oven

      Public
      A tool for handling Synthetic MPST specifications
      OCaml
      •0•1•9•0•Updated Oct 3, 2023Oct 3, 2023

    • nuscr

      Public
      A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
      concurrencyprotocol-specificationmultiparty-session-types
      OCaml
      •
      GNU General Public License v3.0
      •12•27•9•0•Updated Sep 20, 2023Sep 20, 2023

    • opam-repository

      Public
      Main public package repository for OPAM, the source package manager of OCaml.
      Shell
      •
      Creative Commons Zero v1.0 Universal
      •1.1k•0•0•0•Updated Jul 18, 2022Jul 18, 2022

    • vim-nuscr

      Public
      Vim Script
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • nuscr.github.io

      Public
      HTML
      •0•0•0•0•Updated Nov 20, 2020Nov 20, 2020