Links: Linking Theory to Practice for the Web
-
Updated
Jun 20, 2025 - OCaml
#
session-types
Here are 43 public repositories matching this topic...
Declarative concurrency and stream processing library for Scala
functional-programming concurrency stream-processing type-safety session-types declarative-programming linear-types expressiveness resource-safety
-
Updated
Jun 19, 2025 - Scala
add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
A library for deadlock-free multiparty session-typed communication in Rust.
-
Updated
Sep 18, 2024 - Rust
The official compiler for the Quartz programming language
programming-language functional-programming beam oop actor-model concurrency object-oriented type-safety session-types static-typing
-
Updated
May 3, 2018 - OCaml
Library to provide session types to allow for static verification of protocols between concurrent computations.
-
Updated
Jan 1, 2017 - OCaml
Session types framework with support of protocol pipelining.
-
Updated
Jun 17, 2025 - Haskell
Multiparty Session Types toolKit
-
Updated
May 7, 2025 - Scala
A simple library implementation of binary sessions
-
Updated
Jun 18, 2024 - OCaml
A library implementation of binary session types in Swift
-
Updated
Apr 22, 2025 - Swift
An implementation of Multiparty Session Types in Rust
-
Updated
Dec 18, 2017 - Rust
A deadlock-free communication API for web workers based on session types
-
Updated
Jan 26, 2025 - TypeScript
Agda formalization of fair subtyping for dependent session types
-
Updated
Apr 16, 2022 - Agda
A mono-repo for a session type API code generation toolchain for modern web programming.
-
Updated
Mar 5, 2023 - Jupyter Notebook
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
-
Updated
Aug 16, 2017 - Haskell
Workshop on Session Types at Monadic Party 2019
-
Updated
Jun 20, 2019 - Haskell
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
-
Updated
Feb 10, 2025 - C++
An incomplete implementation of CLASS's type system in Agda
-
Updated
Oct 16, 2024 - Agda
Improve this page
Add a description, image, and links to the session-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the session-types topic, visit your repo's landing page and select "manage topics."