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:
13
Created: about 7 years ago
Updated: 3 months ago
Last pushed: 11 months ago
Last synced: 23 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
Dependencies
- base >=4.7 && <5
- composition >=1.0.2 && <1.1
- constraints >=0.10.1 && <0.11
- containers >=0.6.0 && <0.7
- extra >=1.6.13 && <1.7
- microlens-platform >=0.3.11 && <0.4
- mtl >=2.2.2 && <2.3
- multiset >=0.3.4 && <0.4
- base >=4.7 && <5 test
- containers >=0.6.0 && <0.7 test
- mtl >=2.2.2 && <2.3 test
- multiset >=0.3.4 && <0.4 test
- zsyntax * test