This repo has been merged into: https://github.com/music-suite/music-suite
☆19Apr 28, 2020Updated 6 years ago
Alternatives and similar repositories for music-preludes
Users that are interested in music-preludes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Music in Haskell☆218Apr 13, 2022Updated 4 years ago
- This repo has been merged into: https://github.com/music-suite/music-suite☆51Apr 28, 2020Updated 6 years ago
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- ☆10May 3, 2017Updated 9 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Diferentes scripts para representación de carreras en cifras☆10Mar 6, 2017Updated 9 years ago
- Example of embedding Servant within a Yesod Application☆15Aug 23, 2016Updated 9 years ago
- Reducción de la dimensionalidad en problemas de clasificación con Deep Learning: documentación y software asociado☆15Aug 3, 2017Updated 9 years ago
- Tools to migrate data between realtional DB write in PHP☆30Feb 8, 2014Updated 12 years ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 4 months ago
- CLI tool for license generation.☆23Dec 7, 2015Updated 10 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Python challenges for a deadlier programming Kung Fu☆10Dec 14, 2017Updated 8 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Constraint satisfaction problem (CSP) solvers for Haskell☆19Mar 14, 2018Updated 8 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM☆11May 28, 2016Updated 10 years ago
- A plugin for circuit notation☆13Jul 12, 2026Updated 3 weeks ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆61Jun 17, 2022Updated 4 years ago
- ☆22Dec 23, 2016Updated 9 years ago
- ☆22Aug 10, 2025Updated 11 months ago
- Stack-based JSON interface to ide-backend☆97Jan 12, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Parse a SDF file and convert it to an array of objects☆11May 25, 2026Updated 2 months ago
- Tax types and computations for Australia☆11Jul 2, 2026Updated last month
- Haskino Examples☆22Apr 22, 2022Updated 4 years ago
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- Data repository for pkasolver☆13Mar 28, 2022Updated 4 years ago
- GitHub for AI4PD 2023 Workshop in Chile☆12Oct 12, 2023Updated 2 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Poppler based fast pdf viewer written in PyQt5☆12Mar 25, 2026Updated 4 months ago
- A Shiny web app template using a dark theme with support for custom CSS☆13Feb 24, 2019Updated 7 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- ZF2 Skeleton App: Api client, Apigility, SocialAuth, etc.☆10Dec 10, 2015Updated 10 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Workshops on Computational Biology organized by our lab☆10Mar 25, 2024Updated 2 years ago