isovector / jazz
i bet you there is a typesystem behind music
☆30Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for jazz
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Comma (and other) separated values☆77Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated 5 months ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- An experiment in functional interface design☆23Updated 8 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Lens interface for your filesystem☆22Updated 3 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- Some useful control operators for looping☆47Updated 4 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- Extensible records for Idris☆26Updated 3 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- Haskell plotting library☆44Updated 2 months ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 6 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated 3 weeks ago
- Calculate various string metrics efficiently in Haskell☆43Updated last month
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Composable probability monads in Haskell.☆22Updated 9 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- Concurrency for the pipes ecosystem☆43Updated 2 years ago
- A Haskell arrowized FRP library for GUIs☆20Updated 4 years ago
- Dual Traversable☆41Updated last year