GitHub topics: session-types
input-output-hk/typed-protocols
Session types framework with support of protocol pipelining.
Language: Haskell - Size: 1.11 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 16 - Forks: 6
TomasMikula/libretto
Declarative concurrency and stream processing library for Scala
Language: Scala - Size: 15.5 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 213 - Forks: 7
pkitazos/st_parser
Simple Parser for Session Types
Language: Elixir - Size: 4.18 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
alessiorubicini/SwiftSessions
A library implementation of binary session types in Swift
Language: Swift - Size: 6.32 MB - Last synced at: 9 days ago - Pushed at: 2 months ago - Stars: 8 - Forks: 1
gertab/ElixirST
Session Types in Elixir
Language: Elixir - Size: 3.2 MB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 49 - Forks: 2
bismuthlang/bismuth
A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
Language: C++ - Size: 8.83 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0
NicolasLagaillardie/mpst_rust_github
A library for deadlock-free multiparty session-typed communication in Rust.
Language: Rust - Size: 13.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 31 - Forks: 4
links-lang/links
Links: Linking Theory to Practice for the Web
Language: OCaml - Size: 27 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 341 - Forks: 44
pkitazos/elixir_maty
Type-checking Elixir communications using Multiparty Session Types | MSci Project @ UofG
Language: Elixir - Size: 516 KB - Last synced at: 5 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
RiscadoA/class-agda-playground
An incomplete implementation of CLASS's type system in Agda
Language: Agda - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
curegit/session-csharp
Session-typed concurrent and distributed programming for .NET
Language: C# - Size: 269 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
boystrange/FuSe
A simple library implementation of binary sessions
Language: OCaml - Size: 56.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
Singularitty/FreestUtils
Some programs in the FreeST language
Language: Haskell - Size: 36.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
rkuhn/akka-typed-session
add-on to Akka Typed that tracks effects for use with Session Types
Language: Scala - Size: 79.1 KB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 50 - Forks: 7
lemastero/akka-typed-session Fork of rkuhn/akka-typed-session
add-on to Akka Typed that tracks effects for use with Session Types
Language: Scala - Size: 99.6 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
curegit/context-free-session
文脈自由マルチパーティセッション型の実装
Language: C# - Size: 167 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
alcestes/mpstk
Multiparty Session Types toolKit
Language: Scala - Size: 1.15 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 15 - Forks: 4
Mari-W/PolyVGR
proof of concept for polymorphic imperative session types
Language: Haskell - Size: 577 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
sessionkotlin/sessionkotlin
Multiparty Session Types in Kotlin
Language: Kotlin - Size: 692 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
JoanaSoaresF/sessint-compiler
Session types compiler - Master Dissertation
Language: Go - Size: 362 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
gertab/ElixirFlightService
Session-typed flight service
Language: Elixir - Size: 232 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
alexj136/gvcalc
An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
Language: Haskell - Size: 45.9 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 4 - Forks: 0
cigarcial/Tmcod
Session Types on Coq
Language: Coq - Size: 1.34 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
steinwaywhw/ats-sessions
Session Types Library for ATS
Language: HTML - Size: 2.6 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 0
OhadRau/Quartz
The official compiler for the Quartz programming language
Language: OCaml - Size: 110 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 27 - Forks: 0
ansonmiu0214/TypeScript-Multiparty-Sessions
A mono-repo for a session type API code generation toolchain for modern web programming.
Language: Jupyter Notebook - Size: 49.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 2
mgajda/ouroboros-network Fork of input-output-hk/ouroboros-network
Designs and implementations of inter-node communication for the Ouroboros family
Language: Haskell - Size: 7.28 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1
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.
Language: Erlang - Size: 12.7 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
boystrange/FairSubtypingAgda
Agda formalization of fair subtyping for dependent session types
Language: Agda - Size: 3.18 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
rorymalcolm/DynoSesh
An implmentation of dynamically checked session types for Java 🦕🚚🚦
Language: Java - Size: 1.41 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
ahuglajbclajep/session-typed-worker
A deadlock-free communication API for web workers based on session types
Language: TypeScript - Size: 475 KB - Last synced at: 28 days ago - Pushed at: 10 months ago - Stars: 5 - Forks: 2
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.
Language: Haskell - Size: 1.36 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0
gabrieldesh/concurrent-lambda-calculus
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
Language: HTML - Size: 324 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
ahbnr/SessionTypeABS
Semi-Dynamic Session Types for Active Objects
Language: Kotlin - Size: 2.55 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
coot/monadic-party2019
Workshop on Session Types at Monadic Party 2019
Language: Haskell - Size: 25.4 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1
nickng/sesstype.rs
An implementation of Multiparty Session Types in Rust
Language: Rust - Size: 50.8 KB - Last synced at: 10 days ago - Pushed at: almost 8 years ago - Stars: 8 - Forks: 0
nickng/scribble-go-file-downloader
Scribble-Go file downloader demo.
Language: Go - Size: 5.86 KB - Last synced at: 8 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0
nickng/scribble-go-examples
Scribble-Go example protocols and programs
Language: Go - Size: 226 KB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
matsubara0507/timeout-sesstype.hs
An implementation of Multiparty Session Types with Timeout in Haskell
Language: Haskell - Size: 30.3 KB - Last synced at: 5 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
nickng/sesstype
Parser and library for the sesstype type language in Go
Language: Go - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0