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

An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

Parser and library for the sesstype type language in Go

An implementation of Multiparty Session Types in Rust

An implementation of Multiparty Session Types with Timeout in Haskell

The official compiler for the Quartz programming language

Session Types Library for ATS

Scribble-Go file downloader demo.

Scribble-Go example protocols and programs

Multiparty Session Types toolKit

Workshop on Session Types at Monadic Party 2019

An implmentation of dynamically checked session types for Java 🦕🚚🚦

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

Semi-Dynamic Session Types for Active Objects

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

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

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.

Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.

Agda formalization of fair subtyping for dependent session types

Session Types on Coq