4 results found Sort:

links-lang
links links-lang
42
318
other
18
Links: Linking Theory to Practice for the Web
tierless multi-tier session-types effect-handlers web-programming language-integrated-query
Created 2014-01-24
2,911 commits to master branch, last one 3 months ago
TomasMikula
libretto TomasMikula
6
193
mpl-2.0
11
Declarative concurrency and stream processing library for Scala
concurrency type-safety linear-types session-types expressiveness resource-safety stream-processing functional-programming declarative-programming
Created 2020-04-15
1,406 commits to main branch, last one 7 days ago
rkuhn
akka-typed-session rkuhn
7
50
other
7
add-on to Akka Typed that tracks effects for use with Session Types
akka scala session-types distributed-systems
Created 2017-02-04
13 commits to master branch, last one 6 years ago
gertab
ElixirST gertab
2
45
gpl-3.0
6
Session Types in Elixir
elixir concurrency session-types
Created 2021-01-11
344 commits to master branch, last one 9 months ago