Links: Linking Theory to Practice for the Web

Declarative concurrency and stream processing library for Scala

add-on to Akka Typed that tracks effects for use with Session Types

Session types framework with support of protocol pipelining.

Multiparty Session Types toolKit

A library for deadlock-free multiparty session-typed communication in Rust.

A mono-repo for a session type API code generation toolchain for modern web programming.

A deadlock-free communication API for web workers based on session types

Session Types in Elixir

proof of concept for polymorphic imperative session types

Session-typed concurrent and distributed programming for .NET

Workshop on Session Types at Monadic Party 2019

Designs and implementations of inter-node communication for the Ouroboros family

Session types compiler - Master Dissertation

Session-typed flight service

This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.

add-on to Akka Typed that tracks effects for use with Session Types

An incomplete implementation of CLASS's type system in Agda

Scribble-Go example protocols and programs

FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.