Gitstar Ranking

input-output-hk / typed-protocols-bt

Session types framework with support of protocol pipelining. - View it on GitHub
https://input-output-hk.github.io/typed-protocols
Star
0
Rank
14463574