Modular softsynth
☆62Sep 6, 2015Updated 10 years ago
Alternatives and similar repositories for Moodler
Users that are interested in Moodler are comparing it to the libraries listed below
Sorting:
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Jan 5, 2015Updated 11 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- A library for interactively creating graphics visualizations☆22Dec 6, 2019Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- Fast, pure and practical SHA-256 implementation☆24Jan 9, 2026Updated last month
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- A PureScript wrapper around the HTML5 Web Audio API☆24Dec 8, 2018Updated 7 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆13Feb 17, 2022Updated 4 years ago
- 30 - 60 min Extempore per day for a year.☆10Apr 18, 2015Updated 10 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 10 years ago
- Library for invertible parsing and printing☆33Aug 25, 2025Updated 6 months ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- because nobody really wants to eat boiled silkworms☆13Sep 4, 2017Updated 8 years ago
- Haskell bindings to libargon2 - the reference implementation of the Argon2 password-hashing function☆17Jun 24, 2024Updated last year
- Monad Transformers and Classes☆76Jun 25, 2019Updated 6 years ago
- ☆13Jul 31, 2016Updated 9 years ago
- Small programs with unknown halting status.☆13Jun 7, 2016Updated 9 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- Some operator abuse☆29Oct 23, 2017Updated 8 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 10 years ago
- A Set type which supports multiple indexes☆17Nov 23, 2025Updated 3 months ago
- web based multi-agent simulator for individual-based modeling in population dynamics and ecotoxicology☆14Feb 2, 2026Updated last month
- A simple command-line utility to convert Autodesk FBX files to a custom JSON format.☆13Mar 27, 2013Updated 12 years ago
- Game asset build pipeline tool.☆19Jul 27, 2013Updated 12 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- Zippers based on lenses and traversals☆41Aug 9, 2023Updated 2 years ago
- Fast and flexible k-d trees for various types of point queries.☆25Jun 17, 2024Updated last year
- Shen KLambda to KLVM translator.☆31Jan 4, 2016Updated 10 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Nov 29, 2015Updated 10 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 10 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Nov 24, 2025Updated 3 months ago
- A fast, low-level HTTP server you can trust☆46Sep 5, 2018Updated 7 years ago
- Mushu is a minimalist MPD client with a TUI and an incremental fuzzy finder for your music library☆39Aug 26, 2018Updated 7 years ago
- Coordinate-free hypersurfaces as Haskell types☆42Apr 5, 2025Updated 10 months ago
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago