session-types

There are 2 repositories under session-types topic.

• links-lang / links

  Links: Linking Theory to Practice for the Web

  web-programmingtierlessmulti-tiersession-typeseffect-handlerslanguage-integrated-query
  Language:OCaml 318

• TomasMikula / libretto

  Declarative concurrency and stream processing library for Scala

  concurrencystream-processingfunctional-programmingdeclarative-programmingexpressivenesstype-safetyresource-safetysession-typeslinear-types
  Language:Scala 193

• rkuhn / akka-typed-session

  add-on to Akka Typed that tracks effects for use with Session Types

  akkadistributed-systemsscalasession-types
  Language:Scala 50

• gertab / ElixirST

  Session Types in Elixir

  concurrencyelixirsession-types
  Language:Elixir 46

• OhadRau / Quartz

  The official compiler for the Quartz programming language

  programming-languageconcurrencyfunctional-programmingobject-orientedoopbeamactor-modelsession-typesstatic-typingtype-safety
  Language:OCaml 29

• NicolasLagaillardie / mpst_rust_github

  A library for deadlock-free multiparty session-typed communication in Rust.

  affine-session-typesmultiparty-session-typesrustsession-types
  Language:Rust 25

• essdotteedot / sessions

  Library to provide session types to allow for static verification of protocols between concurrent computations.

  ocamltypessession-typesprotocols
  Language:OCaml 17

• alcestes / mpstk

  Multiparty Session Types toolKit

  session-typesmodel-checkingmcrl2deadlock-avoidancelivenesssafety
  Language:Scala 15

• input-output-hk / typed-protocols

  Session types framework with support of protocol pipelining.

  haskellnetworkprotocolssession-types
  Language:Haskell 9

• nickng / sesstype.rs

  An implementation of Multiparty Session Types in Rust

  session-typesdevelopmentresearch
  Language:Rust 8

• steinwaywhw / ats-sessions

  Session Types Library for ATS

  atssession-typeslinear-logic
  Language:HTML 8

• ahuglajbclajep / session-typed-worker

  A deadlock-free communication API for web workers based on session types

  webworkernpm-packagesession-typesdeadlock
  Language:TypeScript 5

• boystrange / FairSubtypingAgda

  Agda formalization of fair subtyping for dependent session types

  agdasubtypingsession-typesfairness
  Language:Agda 5

• alexj136 / gvcalc

  An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"

  session-typespi-calculuslambda-calculussubtypinglinear-types
  Language:Haskell 4

• ansonmiu0214 / TypeScript-Multiparty-Sessions

  A mono-repo for a session type API code generation toolchain for modern web programming.

  typescriptmultiparty-session-typessession-typescode-generationnodejsreact
  Language:Jupyter Notebook 4

• boystrange / FuSe

  A simple library implementation of binary sessions

  session-typesocamltype-inference
  Language:OCaml 4

• coot / monadic-party2019

  Workshop on Session Types at Monadic Party 2019

  session-typesnetworkhaskell-learning
  Language:Haskell 4

• alessiorubicini / SwiftSessions

  A library implementation of binary session types in Swift

  concurrencysession-typesswift
  Language:Swift 3

• 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.

  session-typesfairnesstype-checkerdeadlock-freedomliveness-checkerpi-calculus
  Language:Haskell 3

• curegit / session-csharp

  Session-typed concurrent and distributed programming for .NET

  session-typesinter-process-communicationconcurrent-programming
  Language:C# 2

• 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.

  erlangrebar3-pluginsession-typestype-checking
  Language:Erlang 2

• mgajda / ouroboros-network

  Designs and implementations of inter-node communication for the Ouroboros family

  blockchain-networkblockchainhaskell-librarysession-typesnetwork-simulation
  Language:Haskell 2

• curegit / context-free-session

  文脈自由マルチパーティセッション型の実装

  inter-process-communicationsession-typest4concurrent-programming
  Language:C# 1

• Mari-W / PolyVGR

  proof of concept for polymorphic imperative session types

  programming-language-theorysession-types
  Language:Haskell 1

• matsubara0507 / timeout-sesstype.hs

  An implementation of Multiparty Session Types with Timeout in Haskell

  haskell-applicationsession-types
  Language:Haskell 1

• nickng / scribble-go-file-downloader

  Scribble-Go file downloader demo.

  researchscribblescribble-gosession-typesgolang
  Language:Go 1

• nickng / sesstype

  Parser and library for the sesstype type language in Go

  session-typesdevelopment
  Language:Go 1

• sessionkotlin / sessionkotlin

  Multiparty Session Types in Kotlin

  kotlinsession-types
  Language:Kotlin 1

• 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.

  lambda-calculussession-typesconcurrent-programminglinear-typesprogramming-languagesformal-semanticstype-systems
  Language:HTML 0

• gertab / ElixirFlightService

  Session-typed flight service

  session-types
  Language:Elixir 0

• Singularitty / FreestUtils

  Some programs in the FreeST language

  functional-programmingsession-typesfreest
  Language:Haskell 0

• cigarcial / Tmcod

  Session Types on Coq

  mathsession-types
  Language:Coq

• JoanaSoaresF / sessint-compiler

  Session types compiler - Master Dissertation

  compileroptimizationsession-types
  Language:Go

• lemastero / akka-typed-session

  add-on to Akka Typed that tracks effects for use with Session Types

  session-types
  Language:Scala

• sessionkotlin / sessionkotlin-template-gradle

  Gradle project template

  gradlekotlinsession-typestemplate
  Language:Kotlin

• sessionkotlin / sessionkotlin-template-maven

  Maven project template

  kotlintemplatesession-typesmaven
  Language:Kotlin