Digital creative working in the clouds
Founder of Northern Computing
-
Northern Computing LLC.
- USA
- northerncomputing.io
Block or Report
Block or report chrisswhitneyy
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
modelingToolKit
modelingToolKit PublicThis repository contains source code for simulation experiments on models, specifically developed for muscle models. It also contains scripts to perform these experiments on high performance comput…
MATLAB
-
MathInCoq
MathInCoq PublicA play repository for Coq proof scripts for a variety of mathematical course. Mostly for sanity checks.
Coq
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.