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: 07 May 2025
https://github.com/rkuhn/akka-typed-session
add-on to Akka Typed that tracks effects for use with Session Types
akka distributed-systems scala session-types
Last synced: 12 Apr 2025
https://github.com/input-output-hk/typed-protocols
Session types framework with support of protocol pipelining.
haskell network protocols session-types
Last synced: 13 Oct 2025
https://github.com/nickng/sesstype.rs
An implementation of Multiparty Session Types in Rust
development research session-types
Last synced: 05 Apr 2025
https://github.com/alessiorubicini/swiftsessions
A library implementation of binary session types in Swift
concurrency session-types swift
Last synced: 31 Jan 2026
https://github.com/coot/monadic-party2019
Workshop on Session Types at Monadic Party 2019
haskell-learning network session-types
Last synced: 21 Jul 2025
https://github.com/curegit/session-csharp
Session-typed concurrent and distributed programming for .NET
concurrent-programming inter-process-communication session-types
Last synced: 04 Feb 2026
https://github.com/nickng/scribble-go-file-downloader
Scribble-Go file downloader demo.
golang research scribble scribble-go session-types
Last synced: 09 Apr 2025
https://github.com/curegit/context-free-session
文脈自由マルチパーティセッション型の実装
concurrent-programming inter-process-communication session-types t4
Last synced: 19 Jun 2025
https://github.com/matsubara0507/timeout-sesstype.hs
An implementation of Multiparty Session Types with Timeout in Haskell
haskell-application session-types
Last synced: 06 Jul 2025
https://github.com/nickng/sesstype
Parser and library for the sesstype type language in Go
Last synced: 14 Oct 2025
https://github.com/hayabusa-cloud/sess
Session-typed protocols for Go via algebraic effects
algebraic-effects golang session-types
Last synced: 03 Apr 2026
https://github.com/nickng/scribble-go-examples
Scribble-Go example protocols and programs
golang research scribble scribble-go session-types
Last synced: 09 Apr 2025
https://github.com/pkitazos/elixir_maty
Type-checking Elixir communications using Multiparty Session Types | MSci Project @ UofG
Last synced: 23 Jun 2025