Caal
CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Agent | 746 |  | 16 | 3 | 8 years ago | 6 | September 21, 2016 | 5 | Ruby | |
| Agent is an attempt at modelling Go-like concurrency, in Ruby | ||||||||||
| Chymyst Core | 146 | 1 | 2 years ago | 3 | June 06, 2017 | 5 | apache-2.0 | Scala | ||
| Declarative concurrency in Scala - The implementation of the chemical machine | ||||||||||
| Stargazer | 34 | 2 years ago | HTML | |||||||
| A simulator for visualising the evolution of π-calculus terms | ||||||||||
| Caal | 34 | a year ago | 7 | mit | TypeScript | |||||
| CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems). | ||||||||||
| Migo | 10 | 4 years ago | 1 | April 19, 2019 | 1 | apache-2.0 | Go | |||
| MiGo types library in Go | ||||||||||
| Join Python | 6 | 8 years ago | other | Python | ||||||
| Join-calculus for Python | ||||||||||
| Chymyst Book | 5 | 6 years ago | apache-2.0 | CSS | ||||||
| Concurrency in Reactions: Declarative multicore programming in Scala | ||||||||||
Alternatives To CaalSelect To Compare
Alternative Project Comparisons
Popular Calculus Projects
Popular Concurrency Projects
Popular Mathematics Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Typescript
Concurrency
Calculus