add-on to Akka Typed that tracks effects for use with Session Types
-
Updated
Jul 15, 2021 - Scala
add-on to Akka Typed that tracks effects for use with Session Types
Session types compiler - Master Dissertation
This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.
Scribble-Go example protocols and programs
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.
Scribble-Go file downloader demo.
An implmentation of dynamically checked session types for Java 🦕🚚🚦
Some programs in the FreeST language
Semi-Dynamic Session Types for Active Objects
Parser and library for the sesstype type language in Go
An implementation of Multiparty Session Types in Rust
Library to provide session types to allow for static verification of protocols between concurrent computations.
An implementation of Multiparty Session Types with Timeout in Haskell
文脈自由マルチパーティセッション型の実装
A simple library implementation of binary sessions
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."