omelkonian / AlgoRhythmView external linksLinks
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:
- ☆28Jul 21, 2023Updated 2 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 8 months ago
- ☆14Nov 6, 2017Updated 8 years ago
- Software synthesizer☆26Oct 4, 2015Updated 10 years ago
- Deposited packages of the homalg project☆17Dec 23, 2025Updated last month
- Test monadic programs using state machine based models☆19Jul 17, 2025Updated 6 months 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
- supercollider PAttern NOtation LAnguage (superset of subset of MISPEL ported to supercollider)☆17Aug 6, 2025Updated 6 months ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Music and sound synthesis in Haskell!☆53May 18, 2024Updated last year
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- Supporting Impelementation for Haskell School of Music☆89Oct 12, 2023Updated 2 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…☆25Jun 30, 2023Updated 2 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- Coq course at Chalmers CSE☆38Jul 3, 2017Updated 8 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- ☆38Oct 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
- An attemps to make a document to help learn Haskell☆44Apr 23, 2019Updated 6 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 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
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- multi platform game engine☆11Sep 1, 2025Updated 5 months 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
- ☆44Jan 15, 2026Updated last month
- Small code examples demonstrating the use of Euterpea2 and HSoM☆32Feb 25, 2020Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …☆11Aug 24, 2023Updated 2 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago