IntersectMBO/typed-protocols
View on GitHubSession types framework with support of protocol pipelining.
- Stars
- 16
- Forks
- 7
- Open beginner issues
- 0
- Indexed issues
- 5
- Avg merge
- 2d 23h
- Merged PRs (30d)
- 1
- Dominant language
- Haskell
- License
- Apache-2.0
- Last GitHub push
- Aug 24, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- No beginner labels indexed
5 open issues indexed
Loading issues
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 35/100
IntersectMBO/typed-protocols#78 · 2 comments · 1 reaction ·
-
Improve Haddocks Opendocumentation
Difficulty 3/5 1-2 days Newbie friendliness 45/100
IntersectMBO/typed-protocols#57 · 1 reaction ·
-
enhancement
Difficulty 3/5 1-2 days Newbie friendliness 35/100
-
enhancement
IntersectMBO/typed-protocols#12 · 1 assignee ·
-
IntersectMBO/typed-protocols#7 · 1 assignee ·