Name		Name	Last commit message	Last commit date
complex_pingpong		complex_pingpong
simple_pingpong		simple_pingpong
.gitignore		.gitignore
Benchmark.scr		Benchmark.scr
Benchmarks.ipynb		Benchmarks.ipynb
LICENSE		LICENSE
README.md		README.md
SessionTS_Benchmarks.ipynb		SessionTS_Benchmarks.ipynb

Repository files navigation

SessionTS-Benchmarks

Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.

Refer to Chapter 10.4 of the project report for details.

About

Performance benchmarks for Ping Pong protocol implemented using APIs generated from SessionTS.

multiparty-session-types typescript

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages