Lag's repositories
mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
Language:JavaScript000
Language:Rust000
Language:C++GPL-2.0000
cosmos-sdk
:chains: Blockchain Application Framework :sparkles:
Language:GoNOASSERTION000
Language:MATLAB000
Language:Java000
Language:Rust000
Language:C000
kmc
k-MC tool
Language:HaskellMIT000
Language:Java000
Language:Rust000
Language:HTML000
nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
Language:OCamlGPL-3.0000
sdk-application-tutorial
A tutorial for building modules for the Cosmos SDK
Language:GoNOASSERTION000
Language:Roff000
session_type_test
From https://github.com/Munksgaard/session-types
Language:RustMIT000
Signal-Android
A private messenger for Android.
GPL-3.0000
syn
Parser for Rust source code
Language:RustApache-2.0000
Language:Rust000