cyrus-/sciunit
A framework for formal validation of scientific models.
papers I am working on / have submitted pre-2017. see my website ->
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A framework for formal validation of scientific models.
Public repository.
A web-based purely-functional text editor.
Simple demo of a structured programming interface.