Links: Linking Theory to Practice for the Web
-
Updated
Aug 18, 2021 - OCaml
#
session-types
Here are 26 public repositories matching this topic...
A concurrent programming language based on linear types
-
Updated
Aug 29, 2020 - Haskell
add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
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
A library for deadlock-free multiparty session-typed communication in Rust.
-
Updated
Jul 30, 2021 - Rust
Multiparty Session Types toolKit
-
Updated
Jun 18, 2019 - Scala
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
Aug 15, 2021 - TypeScript
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
A mono-repo for a session type API code generation toolchain for modern web programming.
-
Updated
Aug 12, 2021 - Jupyter Notebook
Agda formalization of fair subtyping for dependent session types
-
Updated
Aug 3, 2021 - Agda
Scribble-Go file downloader demo.
-
Updated
Sep 27, 2018 - Go
Parser and library for the sesstype type language in Go
-
Updated
Dec 18, 2017 - Go
An implementation of Multiparty Session Types with Timeout in Haskell
-
Updated
Jan 29, 2018 - Haskell
Designs and implementations of inter-node communication for the Ouroboros family
-
Updated
Mar 21, 2020 - Haskell
Scribble-Go example protocols and programs
-
Updated
Nov 29, 2018 - Go
Session-typed concurrent and distributed programming for .NET
-
Updated
Oct 4, 2020 - C#
A library that adds dynamically checked session types to Java 🦕 🚚 🚦
-
Updated
Jul 9, 2019 - Java
Session Types for ABS
-
Updated
Mar 20, 2021 - Kotlin
A simple library implementation of binary sessions
-
Updated
Nov 3, 2020 - OCaml
add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
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."
Make types such as
Pollable[A], ... opaque.