AlgoRhythm: A Haskell library for algorithmic music composition.
☆23Apr 23, 2018Updated 7 years ago
Alternatives and similar repositories for AlgoRhythm
Users that are interested in AlgoRhythm are comparing it to the libraries listed below
Sorting:
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- ☆29Jul 21, 2023Updated 2 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14Updated this week
- ☆14Nov 6, 2017Updated 8 years ago
- Software synthesizer☆26Oct 4, 2015Updated 10 years ago
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last week
- Test monadic programs using state machine based models☆19Feb 17, 2026Updated 2 weeks ago
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆17Jan 25, 2017Updated 9 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- supercollider PAttern NOtation LAnguage (superset of subset of MISPEL ported to supercollider)☆17Aug 6, 2025Updated 7 months ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 2 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆27Feb 3, 2021Updated 5 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- Coq course at Chalmers CSE☆39Jul 3, 2017Updated 8 years ago
- ☆39Oct 23, 2021Updated 4 years ago
- Multiplatform BTC wallet with client side filters☆34Mar 16, 2024Updated last year
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Oct 16, 2023Updated 2 years ago
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Feb 25, 2020Updated 6 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Holo is a Discord statistics bot that tracks user emoji usage.☆10Feb 23, 2020Updated 6 years ago
- ☆11Apr 8, 2013Updated 12 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Live code, configs, and references for Tidalcycles, Punctual, Estuary, Supercollider and potentially others☆40Nov 28, 2025Updated 3 months ago