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:
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- ☆31Updated 7 years ago
- Haskell library of algebraic topology☆24Updated 13 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Web based opetopic editor☆35Updated 9 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- ☆27Updated last year
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Free Algebras in Haskell☆37Updated 11 months ago
- Some tools for provability logic☆37Updated 7 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 3 months ago
- Morte IDE☆29Updated 4 months ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Experiments with linear types☆14Updated 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Source for personal blog.☆77Updated 4 months ago