skybluecat
One cannot invent the structure of an object. The most we can do is to patiently bring it to the light of day with humility.
skybluecat's Stars
CleverRaven/Cataclysm-DDA
Cataclysm - Dark Days Ahead. A turn-based survival game set in a post-apocalyptic world.
ave-llan/counterpoint
generate interesting and well balanced species counterpoint (music!)
tensorflow/tfjs-core
WebGL-accelerated ML // linear algebra // automatic differentiation for JavaScript.
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.