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/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/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

development session-types

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/st-parser

Simple Parser for Session Types

elixir session-types

Last synced: 10 Apr 2025

https://github.com/pkitazos/elixir_maty

Type-checking Elixir communications using Multiparty Session Types | MSci Project @ UofG

elixir session-types

Last synced: 23 Jun 2025

https://github.com/pkitazos/st_parser

Simple Parser for Session Types

elixir session-types

Last synced: 11 Dec 2025