https://github.com/maxreciprocate/revel
Program Synthesis experiments
https://github.com/maxreciprocate/revel
music-theory program-induction
Last synced: 11 months ago
JSON representation
Program Synthesis experiments
- Host: GitHub
- URL: https://github.com/maxreciprocate/revel
- Owner: maxreciprocate
- License: gpl-3.0
- Created: 2022-01-10T02:31:59.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2023-04-01T20:58:54.000Z (almost 3 years ago)
- Last Synced: 2025-04-15T02:08:33.393Z (11 months ago)
- Topics: music-theory, program-induction
- Language: Python
- Homepage:
- Size: 469 KB
- Stars: 4
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: readme.org
- License: LICENSE
Awesome Lists containing this project
README
** Program synthesis for compact representation of data
| λ.py | lambda calculus with De Bruijn index |
| egraph.py | simplified e-graph implementation borrowing from [[https://www.philipzucker.com/a-simplified-egraph/][Zucker, 2021]] and [[https://github.com/egraphs-good/egg][Willsey et al., 2021]] |
| enumerate.py | fast bigram conditioned DSL enumeration algorithm based on [[https://www.cs.virginia.edu/~lat7h/blog/posts/434.html][Tychonievich, 2013]] |
#+NAME:
#+BEGIN_SRC bash
git clone https://github.com/reciprocated/revel -b decon
# must have musescore binary in $PATH
python3.10 decon.py tunes/barry-harris.mid
#+END_SRC
[[renders/barry-harris.svg]]
[[renders/bill-evans-1.svg]]
[[renders/bill-evans-2.svg]]
[[renders/coltrane.svg]]