music-suite/music-preludes external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

music-suite/music-preludes

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/music-suite/music-preludes)

Close

music-suite / music-preludesView on GitHubMore

• External links
• Readme badge

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.

• music-suite / music-suite

  View on GitHub
  Music in Haskell
  ☆219Apr 13, 2022Updated 4 years ago
• Rick-McCoy / ClassicGAN

  View on GitHub
  ClassicGAN: Generation of Classical Music with PGGAN
  ☆17Nov 24, 2018Updated 7 years ago
• cvb / hs-orgmode

  View on GitHub
  Parsec orgmode parser implemented by Brent Yorgey
  ☆11Mar 16, 2014Updated 12 years ago
• nachivpn / nbe-stlc

  View on GitHub
  Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)
  ☆12Nov 22, 2019Updated 6 years ago
• jmchapman / restriction-categories

  View on GitHub
  A formalisation of Restriction Categories in Agda
  ☆12Sep 15, 2016Updated 10 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• Confirm-Solutions / imprint

  View on GitHub
  The Imprint Project
  ☆14Sep 9, 2024Updated 2 years ago
• jonsterling / topos-theory-notes

  View on GitHub
  ☆10May 3, 2017Updated 9 years ago
• benediktahrens / monads

  View on GitHub
  Coq code accompanying several articles on semantics of functional programming languages
  ☆11Oct 15, 2018Updated 8 years ago
• niklasso / minisat-haskell-bindings

  View on GitHub
  Haskell-Bindings to MiniSat
  ☆14Jun 20, 2014Updated 12 years ago
• celrm / stringdiagrams

  View on GitHub
  Official code for the paper "Rendering String Diagrams Recursively".
  ☆14Aug 13, 2023Updated 3 years ago
• factisresearch / mq-demo

  View on GitHub
  Repository for the MessageQueue tutorial (given, at least, at Hal9 and CUFP 2014)
  ☆12Sep 4, 2014Updated 12 years ago
• sjakobi / i-love-emily

  View on GitHub
  A Haskell adaptation of David Cope's Emily
  ☆52Jan 7, 2015Updated 11 years ago
• bergey / org-babel-diagrams

  View on GitHub
  embed haskell diagrams in emacs org-mode files
  ☆10Apr 7, 2016Updated 10 years ago
• jespercockx / reflection-tutorial

  View on GitHub
  ☆17Oct 16, 2018Updated 8 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• co-dan / interactive-diagrams

  View on GitHub
  Interactive-diagrams
  ☆38May 18, 2015Updated 11 years ago
• ranea / TFG

  View on GitHub
  Trabajo Fin de Grado: Curvas Elípticas en Criptografía
  ☆10Jul 14, 2016Updated 10 years ago
• FFaissole / Valuations

  View on GitHub
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆13Feb 2, 2018Updated 8 years ago
• Compositionality / compositionality-latex-template

  View on GitHub
  The Compositionality article class.
  ☆14Mar 16, 2026Updated 7 months ago
• yamadapc / yesod-servant-example

  View on GitHub
  Example of embedding Servant within a Yesod Application
  ☆15Aug 23, 2016Updated 10 years ago
• fdavidcl / tfg

  View on GitHub
  Reducción de la dimensionalidad en problemas de clasificación con Deep Learning: documentación y software asociado
  ☆15Aug 3, 2017Updated 9 years ago
• malukenho / MigrateDB

  View on GitHub
  Tools to migrate data between realtional DB write in PHP
  ☆30Feb 8, 2014Updated 12 years ago
• mikeshulman / cohesivett

  View on GitHub
  Cohesive type theory
  ☆19Dec 6, 2021Updated 4 years ago
• michal-h21 / tex4ht-doc

  View on GitHub
  New tex4ht documentation
  ☆12Nov 20, 2025Updated 11 months ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• mkotha / ghcguide_ja

  View on GitHub
  A translation of GHC's Users Guide to Japanese
  ☆15Aug 30, 2016Updated 10 years ago
• spell-music / csound-catalog

  View on GitHub
  A gallery of csound instruments
  ☆17Oct 28, 2021Updated 5 years ago
• LieLean / LowDimSolvClassification

  View on GitHub
  A classification theorem in Lean of solvable Lie algebras of dimension zero to three
  ☆12May 18, 2025Updated last year
• PythonGranada / python-kung-fu

  View on GitHub
  Python challenges for a deadlier programming Kung Fu
  ☆10Dec 14, 2017Updated 8 years ago
• mikeshulman / dirtt

  View on GitHub
  Directed type theory for formal category theory
  ☆19Apr 7, 2017Updated 9 years ago
• danipozo / charla-cpp-moderno

  View on GitHub
  ☆13Nov 5, 2017Updated 9 years ago
• tetrapharmakon / yoneda-in-tongues

  View on GitHub
  Yoneda lemma in every known language
  ☆19Apr 2, 2026Updated 7 months ago
• haskell-rewriting / term-rewriting

  View on GitHub
  Yet another haskell term rewriting library
  ☆18Aug 27, 2025Updated last year
• HarryR / PoWToken

  View on GitHub
  Ethereum Smart Contract - Proof of Work token
  ☆10Jul 2, 2017Updated 9 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• homalg-project / homalg_project

  View on GitHub
  Deposited packages of the homalg project
  ☆20Jul 19, 2026Updated 3 months ago
• frost-beta / llm.js

  View on GitHub
  Node.js module providing inference APIs for large language models, with simple CLI.
  ☆25Dec 7, 2024Updated last year
• hsk / docs

  View on GitHub
  any docs
  ☆17Jan 1, 2020Updated 6 years ago
• bodil / spectre-of-free-software

  View on GitHub
  ☆21Sep 14, 2019Updated 7 years ago
• JacintoCC / Discurso-DGIIM-11-16

  View on GitHub
  Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM
  ☆11May 28, 2016Updated 10 years ago
• cchalmers / circuit-notation

  View on GitHub
  A plugin for circuit notation
  ☆13Sep 2, 2026Updated 2 months ago
• jasonccole / relative-interaction-frequencies

  View on GitHub
  A repository to keep code for interaction frequency work going forwards.
  ☆11Mar 21, 2022Updated 4 years ago