namanh's repositories
mouseboard-autoharp
autoharp & bossa nova machine, inspired by foldr.moe/harp
chord-prog-predict
Machine learning model for predicting chords given a melody
discord-haskell-extensions
Discord bot & library helper, written in and for discord-haskell
Language:HaskellMIT000
idris2-proj
insertion sort and bubble sort implementations carrying proofs of correctness