Links: Linking Theory to Practice for the Web
- Updated
Aug 21, 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
Oct 3, 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
Multiparty Session Types toolKit
- Updated
May 7, 2025 - Scala
Session types framework with support of protocol pipelining.
- Updated
Oct 15, 2025 - Haskell
A simple library implementation of binary sessions
- Updated
Jun 18, 2024 - OCaml
A library implementation of binary session types in Swift
- Updated
Sep 13, 2025 - Swift
An implementation of Multiparty Session Types in Rust
- Updated
Dec 18, 2017 - Rust
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
- Updated
Oct 12, 2025 - C++
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
Workshop on Session Types at Monadic Party 2019
- Updated
Jun 20, 2019 - Haskell
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
- Updated
Aug 16, 2017 - Haskell
Type-checking Elixir communications using Multiparty Session Types | MSci Project @ UofG
- Updated
Sep 26, 2025 - Elixir
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."