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:
- Combinatorial species in HoTT☆12May 23, 2015Updated 11 years ago
- Interactive-diagrams☆39May 18, 2015Updated 11 years ago
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Jul 14, 2016Updated 10 years ago
- ☆10May 3, 2017Updated 9 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 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.
- Deposited packages of the homalg project☆19Jul 19, 2026Updated last month
- 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 8 years ago
- A gallery of csound instruments☆17Oct 28, 2021Updated 4 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 5 months ago
- New tex4ht documentation☆12Nov 20, 2025Updated 9 months ago
- CLI tool for license generation.☆23Dec 7, 2015Updated 10 years ago
- ☆21Sep 14, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- ☆13Nov 5, 2017Updated 8 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- 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☆13Sep 2, 2026Updated last week
- ☆11Jun 10, 2026Updated 3 months ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 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.
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- ☆13Jun 4, 2018Updated 8 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆61Jun 17, 2022Updated 4 years ago
- Revamp / enhancements of the FPGA part of the Firebee project☆12Apr 26, 2014Updated 12 years ago
- ☆22Dec 23, 2016Updated 9 years ago
- Stack-based JSON interface to ide-backend☆96Jan 12, 2016Updated 10 years ago
- Parse a SDF file and convert it to an array of objects☆11May 25, 2026Updated 3 months ago
- Tax types and computations for Australia☆11Jul 2, 2026Updated 2 months ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 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.
- Curso cero para matemáticas en la ETSIIT de la Universidad de Granada☆15Feb 27, 2018Updated 8 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
- ☆14Jul 20, 2026Updated last month
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 10 years ago
- Poppler based fast pdf viewer written in PyQt5☆12Mar 25, 2026Updated 5 months ago