Links: Linking Theory to Practice for the Web
-
Updated
Oct 28, 2024 - OCaml
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
The official compiler for the Quartz programming language
A library for deadlock-free multiparty session-typed communication in Rust.
Library to provide session types to allow for static verification of protocols between concurrent computations.
Session types framework with support of protocol pipelining.
Multiparty Session Types toolKit
An implementation of Multiparty Session Types in Rust
Agda formalization of fair subtyping for dependent session types
A deadlock-free communication API for web workers based on session types
A mono-repo for a session type API code generation toolchain for modern web programming.
Workshop on Session Types at Monadic Party 2019
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
A simple library implementation of binary sessions
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
An incomplete implementation of CLASS's type system in Agda
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.
Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.
To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."