Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with process-calculus
A curated list of projects in awesome lists tagged with process-calculus .
https://github.com/gfngfn/sesterl
An ML-like statically-typed Erlang
actor-model concurrent-programming erlang f-ing-modules module-system monad ocaml process-calculus programming-language sesterl statically-typed type-system
Last synced: 27 Oct 2024
https://github.com/wenkokke/paper-races-in-classical-linear-logic
wherein I describe deadlock and race-free session types with non-determinism
non-determinism paper process-calculus races type-system
Last synced: 10 Nov 2024
https://github.com/nickng/londongophers-aug18
LondonGophers 15 Aug 2018 - Building a simple concurrency teaching language with Go
code-generation process-calculus static-analysis
Last synced: 05 Nov 2024
