session-types
There are 41 repositories under session-types topic.
links-lang/links
Links: Linking Theory to Practice for the Web
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
rkuhn/akka-typed-session
add-on to Akka Typed that tracks effects for use with Session Types
gertab/ElixirST
Session Types in Elixir
OhadRau/Quartz
The official compiler for the Quartz programming language
NicolasLagaillardie/mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
essdotteedot/sessions
Library to provide session types to allow for static verification of protocols between concurrent computations.
alcestes/mpstk
Multiparty Session Types toolKit
input-output-hk/typed-protocols
Session types framework with support of protocol pipelining.
nickng/sesstype.rs
An implementation of Multiparty Session Types in Rust
steinwaywhw/ats-sessions
Session Types Library for ATS
ahuglajbclajep/session-typed-worker
A deadlock-free communication API for web workers based on session types
boystrange/FairSubtypingAgda
Agda formalization of fair subtyping for dependent session types
alexj136/gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
ansonmiu0214/TypeScript-Multiparty-Sessions
A mono-repo for a session type API code generation toolchain for modern web programming.
bismuthlang/bismuth
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
boystrange/FuSe
A simple library implementation of binary sessions
coot/monadic-party2019
Workshop on Session Types at Monadic Party 2019
alessiorubicini/SwiftSessions
A library implementation of binary session types in Swift
boystrange/FairCheck
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.
RiscadoA/class-agda-playground
An incomplete implementation of CLASS's type system in Agda
curegit/session-csharp
Session-typed concurrent and distributed programming for .NET
lauramcastro/sessiontypechecker
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.
mgajda/ouroboros-network
Designs and implementations of inter-node communication for the Ouroboros family
curegit/context-free-session
文脈自由マルチパーティセッション型の実装
gertab/ElixirFlightService
Session-typed flight service
Mari-W/PolyVGR
proof of concept for polymorphic imperative session types
matsubara0507/timeout-sesstype.hs
An implementation of Multiparty Session Types with Timeout in Haskell
nickng/scribble-go-file-downloader
Scribble-Go file downloader demo.
nickng/sesstype
Parser and library for the sesstype type language in Go
sessionkotlin/sessionkotlin
Multiparty Session Types in Kotlin
JoanaSoaresF/sessint-compiler
Session types compiler - Master Dissertation
Singularitty/FreestUtils
Some programs in the FreeST language
cigarcial/Tmcod
Session Types on Coq
sessionkotlin/sessionkotlin-template-gradle
Gradle project template
sessionkotlin/sessionkotlin-template-maven
Maven project template