https://github.com/input-output-hk/typed-protocols

Session types framework with support of protocol pipelining.
https://github.com/input-output-hk/typed-protocols

haskell network protocols session-types

Last synced: 3 months ago
JSON representation

Session types framework with support of protocol pipelining.

• Host: GitHub
• URL: https://github.com/input-output-hk/typed-protocols
• Owner: input-output-hk
• License: apache-2.0
• Created: 2022-05-13T15:02:04.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2025-09-29T14:59:55.000Z (4 months ago)
• Last Synced: 2025-09-29T16:37:48.916Z (4 months ago)
• Topics: haskell, network, protocols, session-types
• Language: Haskell
• Homepage: https://input-output-hk.github.io/typed-protocols
• Size: 1.08 MB
• Stars: 15
• Watchers: 25
• Forks: 6
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Security: SECURITY.md
  • Notice: NOTICE

Awesome Lists containing this project

README

          
[![Haskell CI](https://img.shields.io/github/actions/workflow/status/input-output-hk/typed-protocols/haskell.yml?branch=main&label=Build&style=for-the-badge)](https://github.com/input-output-hk/typed-protocols/actions/workflows/haskell.yml)

[![handbook](https://img.shields.io/badge/policy-Cardano%20Engineering%20Handbook-informational?style=for-the-badge)](https://input-output-hk.github.io/cardano-engineering-handbook)

typed-protocols

===============

A robust session type framework which supports [protocol pipelining][protocol-pipelining].

Haddocks are published [here][haddocks].

Public content

--------------

[Duncan Coutts][dcoutts] Haskell eXchange 2019 [talk][haskell-eXchange].

Monadic party workshop by Marcin Szamotulski ([coot]):

* [part 1][monadic-party-part-1]

* [part 2][monadic-party-part-2]

* [part 2][monadic-party-part-3]

Talk at [Haskell Love 2021][haskell-love] by Marcin Szamotulski ([coot]), [slides][haskell-love-slides].

An [Agda][typed-protocols-agda] implementation by Marcin Szamotulski ([coot]).

[protocol-pipelining]: https://www.wikiwand.com/en/Protocol_pipelining

[haskell-eXchange]: https://www.youtube.com/watch?v=kkynmgwa7gE

[monadic-party-part-1]: https://www.youtube.com/watch?v=j8gza2L61nM

[monadic-party-part-2]: https://www.youtube.com/watch?v=oV6KSl1srL8

[monadic-party-part-3]: https://www.youtube.com/watch?v=nOIQCRPwmPA

[haskell-love-slides]: https://coot.me/posts/typed-protocols-at-haskell-love.html

[haskell-love]: https://www.youtube.com/watch?v=EbK6VAqYh3g

[typed-protocols-agda]: https://coot.me/agda/posts.agda.typed-protocols.html

[coot]: https://github.com/coot

[dcoutts]: https://github.com/dcoutts

[haddocks]: https://input-output-hk.github.io/typed-protocols