hackage.haskell.org : cspmchecker
The library FDR3 uses for parsing, type checking and evaluating machine CSP.
Registry
-
Source
- JSON
purl: pkg:hackage/cspmchecker
Keywords:
bsd3
, concurrency
, program
, Propose Tags
License: BSD-3-Clause
Latest release: almost 12 years ago
First release: almost 14 years ago
Downloads: 5,016 total
Stars: 30 on GitHub
Forks: 6 on GitHub
Total Commits: 733
Committers: 4
Average commits per author: 183.25
Development Distribution Score (DDS): 0.015
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago