input-output-hk / typed-protocolsLinks

Session types framework with support of protocol pipelining.
15Updated last week

Alternatives and similar repositories for typed-protocols

Users that are interested in typed-protocols are comparing it to the libraries listed below

Sorting: