session-types topic

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

rkuhn

Links: Linking Theory to Practice for the Web

links-lang

Declarative concurrency and stream processing library for Scala

TomasMikula

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

NicolasLagaillardie

The official compiler for the Quartz programming language

OhadRau

Library to provide session types to allow for static verification of protocols between concurrent computations.

essdotteedot

Session Types in Elixir

gertab

Multiparty Session Types toolKit

alcestes