Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with session-types
A curated list of projects in awesome lists tagged with session-types .
https://github.com/links-lang/links
Links: Linking Theory to Practice for the Web
effect-handlers language-integrated-query multi-tier session-types tierless web-programming
Last synced: 03 Aug 2024
https://github.com/matsubara0507/timeout-sesstype.hs
An implementation of Multiparty Session Types with Timeout in Haskell
haskell-application session-types
Last synced: 02 Oct 2024