hybrid-pedagogy / openmusictheory
A growing, online "textbook" for music theory and aural skills
☆26Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for openmusictheory
- A growing, online "textbook" for music theory and aural skills☆23Updated 7 years ago
- UNMAINTAINED☆23Updated 8 years ago
- Polymorphic music library with export to musicxml and midi☆15Updated 10 months ago
- Extracting RepliGo PDF annotations to a Org-mode format snippet (unmaintained!)☆28Updated 9 years ago
- ☆14Updated last year
- This repo has been merged into: https://github.com/music-suite/music-suite☆52Updated 4 years ago
- Music in Haskell☆207Updated 2 years ago
- Emacs major mode for coding in Csound☆41Updated 2 months ago
- Game theory in Clojure☆18Updated 11 years ago
- Compact but powerful tools for SuperCollider, with Emacs Org-mode intergration☆23Updated 9 years ago
- This collection contains my personal LilyPond files.☆10Updated last year
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- Algorithmic music composition system based on constraint programming☆74Updated 10 years ago
- A Jupyter client for TeXmacs☆9Updated 2 years ago
- A tracker-inspired music sequencer for Emacs.☆36Updated 4 months ago
- DeepAlgebra☆25Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆14Updated 9 years ago
- Supercollider emacs package☆69Updated 5 months ago
- Emacs mode for LilyPond editing☆67Updated 7 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Deposited packages of the homalg project☆12Updated this week
- The Humdrum Toolkit provides a set of free software tools intended to assist in music research☆33Updated 4 years ago
- An Org mode template to export an article that meets the LaTeX specification of the open-access journal PLOS One. See☆15Updated 10 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 8 years ago
- ☆15Updated 8 years ago
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…☆16Updated 10 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- A series of introductory instructional python notebooks, for computational number theory.☆13Updated 6 years ago