omelkonian / AlgoRhythm
AlgoRhythm: A Haskell library for algorithmic music composition.
☆22Updated 6 years ago
Related projects: ⓘ
- A gallery of csound instruments☆15Updated 2 years ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- Agda formalisation of second-order abstract syntax☆51Updated 2 years ago
- Univalence from scratch in Idris☆19Updated 6 years ago
- Haskell framework for generative models of jazz☆39Updated 5 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A slow-paced introduction to reflection in Agda. ---Tactics!☆91Updated 2 years ago
- A Coq library for abstract syntactical reasoning☆23Updated last month
- The theory of algebraic graphs formalised in Agda☆86Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- Organization and planning for the Initial Types Club☆69Updated last year
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Updated 6 years ago
- Linear Logic for Constructive Mathematics, in Agda☆18Updated 5 years ago
- A Haskell module for PortMidi audio library.☆13Updated last month
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆60Updated last year
- Small code examples demonstrating the use of Euterpea2 and HSoM☆30Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated 11 months ago
- A library for doing generic programming in Agda☆28Updated 3 years ago
- ☆42Updated this week
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- Fast equality saturation in Haskell☆75Updated 4 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 months ago
- Categorical logic from a categorical point of view☆75Updated 11 months ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year