Links: Linking Theory to Practice for the Web
-
Updated
Oct 28, 2024 - OCaml
#
session-types
Here are 41 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
Nov 12, 2024 - Scala
An incomplete implementation of CLASS's type system in Agda
-
Updated
Oct 16, 2024 - Agda
Session-typed concurrent and distributed programming for .NET
-
Updated
Oct 3, 2024 - C#
Session types framework with support of protocol pipelining.
-
Updated
Sep 29, 2024 - Haskell
A library for deadlock-free multiparty session-typed communication in Rust.
-
Updated
Sep 18, 2024 - Rust
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
-
Updated
Aug 13, 2024 - C++
A simple library implementation of binary sessions
-
Updated
Jun 18, 2024 - OCaml
A library implementation of binary session types in Swift
-
Updated
Jun 14, 2024 - Swift
Some programs in the FreeST language
-
Updated
Mar 18, 2024 - Haskell
文脈自由マルチパーティセッション型の実装
-
Updated
Nov 28, 2023 - C#
A deadlock-free communication API for web workers based on session types
-
Updated
Oct 28, 2024 - TypeScript
Session types compiler - Master Dissertation
-
Updated
Oct 8, 2023 - Go
A mono-repo for a session type API code generation toolchain for modern web programming.
-
Updated
Mar 5, 2023 - Jupyter Notebook
proof of concept for polymorphic imperative session types
-
Updated
Oct 31, 2022 - Haskell
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."