discover · compare · collections · requirements · contribute · feed · watching · stats · help with your tokens
lenianiva/Prismriver
(Mirror) A Music formalization library and DSL in Lean 4
History and source changes · Reports and owner responses · Compare
Similar
- leanprover/lean4
Lean 4 programming language and theorem prover
Why this match
topics lean, lean4
- EarthmanMuons/whatchord
Interactive chord identification and harmony exploration, with live MIDI and manual input
Why this match
topics midi, music, music-theory; language differs: Lean → Dart; license differs: Apache-2.0 → 0BSD
- albertms10/music_notes
Music theory Dart library
Why this match
topics midi, music, music-theory; language differs: Lean → Dart; license differs: Apache-2.0 → BSD-3-Clause
- LMMS/lmms
Cross-platform music production software
Why this match
topics midi, music; language differs: Lean → C++; license differs: Apache-2.0 → GPL-2.0
- MC-Music-Workshop/midi-captain-max
Bidirectional MIDI firmware for Paint Audio MIDI Captain foot controllers. Includes GUI Config Editor!
Why this match
topics midi, music; language differs: Lean → Python
- the0cp/beatflow-skill
AI music composition skill with a Python DSL, musical diagnostics, and deterministic multi-track MIDI rendering.
Why this match
topics algorithmic-composition, midi, music-theory; language differs: Lean → Python; license differs: Apache-2.0 → GPL-3.0
- 8f4e/8f4e
8f4e is an experimental stack-oriented programming language with a spatial live code editor
Why this match
topics midi, music; language differs: Lean → TypeScript; license differs: Apache-2.0 → MIT
- werckme/werckmeister
Werckmeister is an open-source tool that compiles sheet music source code into MIDI files.
Why this match
topics midi, music; language differs: Lean → C++; license differs: Apache-2.0 → GPL-3.0