Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / input-output-hk / typed-protocols
Session types framework with support of protocol pipelining.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Ftyped-protocols
Stars: 7
Forks: 4
Open Issues: 6
License: None
Language: Haskell
Repo Size: 732 KB
Dependencies:
11
Created: about 2 years ago
Updated: 20 days ago
Last pushed: 4 months ago
Last synced: 4 months ago
Topics: haskell, network, protocols, session-types
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/haskell.yml
actions
- actions/cache v3 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
- msys2/setup-msys2 v2 composite
- base *
- io-classes >=0.3 && <0.5
- base >=4.12 && <4.18
- bytestring >=0.10 && <0.12
- cborg >=0.2.1 && <0.3
- io-classes *
- typed-protocols *