namanh's repositories

mouseboard-autoharp

autoharp & bossa nova machine, inspired by foldr.moe/harp

Language:JavaScriptStargazers:4Issues:1Issues:0

chord-prog-predict

Machine learning model for predicting chords given a melody

Language:PythonLicense:MITStargazers:2Issues:1Issues:0

discord-haskell-extensions

Discord bot & library helper, written in and for discord-haskell

Language:HaskellLicense:MITStargazers:1Issues:1Issues:0

hailstone

haskell audio synthesis + music composition engine & DSL: an attempt

Language:HaskellLicense:MITStargazers:1Issues:1Issues:0

idris2-proj

insertion sort and bubble sort implementations carrying proofs of correctness

Language:IdrisStargazers:0Issues:1Issues:0