Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Statmech | 46 | 6 years ago | other | Jupyter Notebook | ||||||
Eq | 7 | 10 years ago | 7 | January 26, 2015 | 1 | Haskell | ||||
Haskell calculus | ||||||||||
Mobile Process Calculi For Blockchain | 6 | 6 years ago | 4 | TeX | ||||||
Sphinx source |