NobukoYoshida

Pinned Repositories

HO
Higher Order session pi
Language:TeX10
mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
Language:Rust25 5 413
EPSRC-project_OXF
00
imperial-meng-computing-thesis
Language:TeX0 0 00
ocaml-mpst
Multiparty Session Types in OCaml
Language:Jupyter Notebook00
pgcd
Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Language:Python0 0 00
Scribble
0 0 00

NobukoYoshida's Repositories

NobukoYoshida/EPSRC-project_OXF
00
NobukoYoshida/imperial-meng-computing-thesis
Language:TeX0 0 00
NobukoYoshida/ocaml-mpst
Multiparty Session Types in OCaml
Language:Jupyter Notebook00
NobukoYoshida/pgcd
Robot Programming and Verification with Geometry, Concurrency, and Dynamics
Language:Python0 0 00
NobukoYoshida/Scribble
0 0 00