{"id":31883850,"url":"https://github.com/input-output-hk/typed-protocols","last_synced_at":"2025-10-13T03:52:47.541Z","repository":{"id":38349062,"uuid":"491941273","full_name":"input-output-hk/typed-protocols","owner":"input-output-hk","description":"Session types framework with support of protocol pipelining.","archived":false,"fork":false,"pushed_at":"2025-09-29T14:59:55.000Z","size":1136,"stargazers_count":15,"open_issues_count":5,"forks_count":6,"subscribers_count":25,"default_branch":"main","last_synced_at":"2025-09-29T16:37:48.916Z","etag":null,"topics":["haskell","network","protocols","session-types"],"latest_commit_sha":null,"homepage":"https://input-output-hk.github.io/typed-protocols","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/input-output-hk.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":"NOTICE","maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2022-05-13T15:02:04.000Z","updated_at":"2025-09-09T18:58:37.000Z","dependencies_parsed_at":"2023-02-17T18:45:40.547Z","dependency_job_id":"8734c499-6f2c-4ffc-aa61-ccdfe6fe1424","html_url":"https://github.com/input-output-hk/typed-protocols","commit_stats":null,"previous_names":[],"tags_count":17,"template":false,"template_full_name":null,"purl":"pkg:github/input-output-hk/typed-protocols","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Ftyped-protocols","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Ftyped-protocols/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Ftyped-protocols/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Ftyped-protocols/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/input-output-hk","download_url":"https://codeload.github.com/input-output-hk/typed-protocols/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Ftyped-protocols/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":279013520,"owners_count":26085368,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-10-13T02:00:06.723Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["haskell","network","protocols","session-types"],"created_at":"2025-10-13T03:52:45.421Z","updated_at":"2025-10-13T03:52:47.536Z","avatar_url":"https://github.com/input-output-hk.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Haskell CI](https://img.shields.io/github/actions/workflow/status/input-output-hk/typed-protocols/haskell.yml?branch=main\u0026label=Build\u0026style=for-the-badge)](https://github.com/input-output-hk/typed-protocols/actions/workflows/haskell.yml)\n[![handbook](https://img.shields.io/badge/policy-Cardano%20Engineering%20Handbook-informational?style=for-the-badge)](https://input-output-hk.github.io/cardano-engineering-handbook)\n\n\ntyped-protocols\n===============\n\n\nA robust session type framework which supports [protocol pipelining][protocol-pipelining].\n\nHaddocks are published [here][haddocks].\n\n\nPublic content\n--------------\n\n[Duncan Coutts][dcoutts] Haskell eXchange 2019 [talk][haskell-eXchange].\n\nMonadic party workshop by Marcin Szamotulski ([coot]):\n* [part 1][monadic-party-part-1]\n* [part 2][monadic-party-part-2]\n* [part 2][monadic-party-part-3]\n\nTalk at [Haskell Love 2021][haskell-love] by Marcin Szamotulski ([coot]), [slides][haskell-love-slides].\n\nAn [Agda][typed-protocols-agda] implementation by Marcin Szamotulski ([coot]).\n\n\n[protocol-pipelining]: https://www.wikiwand.com/en/Protocol_pipelining\n[haskell-eXchange]: https://www.youtube.com/watch?v=kkynmgwa7gE\n[monadic-party-part-1]: https://www.youtube.com/watch?v=j8gza2L61nM\n[monadic-party-part-2]: https://www.youtube.com/watch?v=oV6KSl1srL8\n[monadic-party-part-3]: https://www.youtube.com/watch?v=nOIQCRPwmPA\n[haskell-love-slides]: https://coot.me/posts/typed-protocols-at-haskell-love.html\n[haskell-love]: https://www.youtube.com/watch?v=EbK6VAqYh3g\n[typed-protocols-agda]: https://coot.me/agda/posts.agda.typed-protocols.html\n[coot]: https://github.com/coot\n[dcoutts]: https://github.com/dcoutts\n[haddocks]: https://input-output-hk.github.io/typed-protocols\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Finput-output-hk%2Ftyped-protocols","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Finput-output-hk%2Ftyped-protocols","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Finput-output-hk%2Ftyped-protocols/lists"}