Gitstar Ranking

input-output-hk / typed-protocols

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