Zsyntax
Automated theorem prover for a linear logic-based calculus for molecular biology.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Formal Systems In Biology | 448 | a year ago | 10 | |||||||
| Application of formal systems to model biological systems | ||||||||||
| Textbooks | 25 | 7 years ago | 1 | |||||||
| :books: Openstax Textbooks ported to GitHub and hosted on GH Pages | ||||||||||
| Introtobiophysics | 23 | 6 months ago | apache-2.0 | Jupyter Notebook | ||||||
| Introduction to Biophysics, requires one semester of calculus-based Physics. | ||||||||||
| Zsyntax | 10 | 1 | a year ago | 1 | December 15, 2018 | bsd-3-clause | Haskell | |||
| Automated theorem prover for a linear logic-based calculus for molecular biology. | ||||||||||
Alternatives To ZsyntaxSelect To Compare
Alternative Project Comparisons
Popular Biology Projects
Popular Calculus Projects
Popular Science Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Calculus
Biology
Theorem Proving