sirlensalot / fadno
Polymorphic music library with export to musicxml and midi
☆15Updated last year
Alternatives and similar repositories for fadno:
Users that are interested in fadno are comparing it to the libraries listed below
- Use conduit to process/manipulate/convert audio☆19Updated 5 years ago
- ☆17Updated 4 years ago
- ☆24Updated last year
- Combinators for manipulating dependently-typed predicates.☆12Updated 8 months ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Updated 6 years ago
- Have many Aeson instances for the same type!☆9Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Read and write images as massiv arrays☆13Updated 3 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Updated 4 years ago
- A library for parsing Gerbers☆20Updated last year
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 6 years ago
- Robust persistence for typed immutable data☆17Updated 8 years ago
- Visualization of Haskell data structures☆15Updated last year
- Web frontend for GHC☆12Updated 5 years ago
- MIDI and Web MIDI support☆11Updated 2 years ago
- Memory-efficient representation of Unicode text strings☆22Updated 3 months ago
- ☆12Updated 5 years ago
- ☆10Updated 11 months ago
- HTML to Hamlet converter☆16Updated 5 years ago
- A monadic interface for DAG construction.☆24Updated 3 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- Haskell implementation of Glumpy☆12Updated 3 years ago
- Port of the Haskell School of Music to Purescript☆22Updated last month
- Simplify and render Template Haskell☆18Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Type-level assertion operators☆16Updated 7 years ago
- A monad transformer designed for `MonadFail`☆12Updated 2 years ago