GitHub repository: sybila/biodivine
Primary language: HTML
Description: A toolset for manipulation, analysis and verification of biological models.