namin/biohacker
debugging biological networks to reach coherence, completeness and consistency
Automatically exported from code.google.com/p/micado
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
debugging biological networks to reach coherence, completeness and consistency
generative programming & verification
Formalization of the Dependent Object Types (DOT) calculus
Public repository.