Popular repositories Loading
-
tuniozo-music-trainer
tuniozo-music-trainer PublicMicrotonal ear training, notation editors, and a statics workout log, my own daily practice tool.
TypeScript 2
-
empty-set-turning-machine
empty-set-turning-machine PublicConstructing a turing machine designed to enumerate and verify proofs of the statement E∈E in a formal system derived from a single axiom sufficient to encode discrete mathematics.
Jupyter Notebook
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.