statusfailed / cartographer-string-diagrammatic-reasoningLinks
☆44Updated 2 years ago
Alternatives and similar repositories for cartographer-string-diagrammatic-reasoning
Users that are interested in cartographer-string-diagrammatic-reasoning are comparing it to the libraries listed below
Sorting:
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 5 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Haskell library of algebraic topology☆25Updated 14 years ago
- An efficient graph library for Haskell☆38Updated last month
- Vector & affine spaces, linear maps, and derivatives☆49Updated 4 months ago
- ☆32Updated 7 years ago
- Agda-style equational reasoning in Haskell☆54Updated 6 months ago
- A geometric algebra implementation in Haskell☆31Updated 5 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 5 months ago
- Haskell bindings to ArrayFire☆60Updated 9 months ago
- An embedded DSL for creating, composing, and using probability measures.☆41Updated 6 years ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Free Algebras in Haskell☆37Updated last year
- A talk☆28Updated 4 years ago
- Web based opetopic editor☆35Updated 11 months ago
- Some tools for provability logic☆37Updated 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Updated 9 months ago
- Provides a type-safe way of working with permutations in Idris☆37Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Interpret Haskell programs into any cartesian closed category.☆65Updated last week
- Quantitative Type Theory implementation☆54Updated 4 years ago
- ☆23Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Morte IDE☆29Updated 6 months ago