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
- Repository for the MessageQueue tutorial (given, at least, at Hal9 and CUFP 2014)☆12Sep 4, 2014Updated 12 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- ☆10May 3, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- embed haskell diagrams in emacs org-mode files☆10Apr 7, 2016Updated 10 years ago
- ☆17Oct 16, 2018Updated 8 years ago
- OpenGL Backend for Diagrams DSL☆13Jun 5, 2016Updated 10 years ago
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- The Compositionality article class.☆14Mar 16, 2026Updated 7 months ago
- 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 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reducción de la dimensionalidad en problemas de clasificación con Deep Learning: documentación y software asociado☆15Aug 3, 2017Updated 9 years ago
- Guía de uso de beamer☆10Sep 23, 2017Updated 9 years ago
- Cohesive type theory☆19Dec 6, 2021Updated 4 years ago
- A translation of GHC's Users Guide to Japanese☆15Aug 30, 2016Updated 10 years ago
- CAP project -- Categories, Algorithms, and Programming☆44Updated this week
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- New tex4ht documentation☆12Nov 20, 2025Updated 11 months ago
- Yoneda lemma in every known language☆19Apr 2, 2026Updated 6 months ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22May 29, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Deposited packages of the homalg project☆20Jul 19, 2026Updated 3 months ago
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 2 weeks ago
- ☆13Nov 5, 2017Updated 8 years ago
- Python challenges for a deadlier programming Kung Fu☆10Dec 14, 2017Updated 8 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- ☆21Sep 14, 2019Updated 7 years ago
- Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM☆11May 28, 2016Updated 10 years ago
- a website for browsing ludum dare games☆25Jan 19, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆22Sep 25, 2026Updated 3 weeks ago
- Análisis exploratorio y visualización de datos con R☆15Feb 12, 2015Updated 11 years ago
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- ☆11Jun 10, 2026Updated 4 months ago
- A repository to keep code for interaction frequency work going forwards.☆11Mar 21, 2022Updated 4 years ago
- ☆22Dec 23, 2016Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago