4 results found Sort:

links-lang
links links-lang
42
330
other
19
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,913 commits to master branch, last one 9 days ago
TomasMikula
libretto TomasMikula
7
197
mpl-2.0
12
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,519 commits to main branch, last one 11 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 7 years ago
gertab
ElixirST gertab
2
48
gpl-3.0
6
Session Types in Elixir
elixir concurrency session-types
Created 2021-01-11
344 commits to master branch, last one about a year ago