2 results found Sort:

gfngfn
Sesterl gfngfn
5
151
unknown
9
An ML-like statically-typed Erlang
monad ocaml erlang sesterl actor-model type-system f-ing-modules module-system process-calculus statically-typed programming-language concurrent-programming
Created 2020-04-25
1,400 commits to master branch, last one 2 years ago
ambientsprotocol
whitepaper ambientsprotocol
4
46
cc-by-sa-4.0
8
📄 The Ambients protocol white paper
p2p decentralized ambient-calculus process-calculus distributed-computing functional-programming
Created 2019-07-03
15 commits to main branch, last one 3 years ago