Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / fsestini / zsyntax
Automated theorem prover for a linear logic-based calculus for molecular biology.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fsestini%2Fzsyntax
Stars: 11
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 709 KB
Dependencies:
0
Created: about 7 years ago
Updated: 3 months ago
Last pushed: 11 months ago
Last synced: 6 days ago
Commit Stats
Commits: 663
Authors: 1
Mean commits per author: 663.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/fsestini/zsyntax
Topics: automated-deduction, linear-logic, molecular-biology, theorem-proving
Files
No dependencies found