ahadziha / rewalt
A toolkit for higher-dimensional diagram rewriting.
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for rewalt
- A verified tensor library in Lean☆12Updated this week
- ☆21Updated 2 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- ☆13Updated 3 years ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆17Updated last year
- A Haskell probabilistic programming library.☆17Updated 2 weeks ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- ☆42Updated 6 months ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated 2 months ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated 10 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆27Updated last week
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆25Updated 10 months ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Lean4 port of Arduino balance car controller☆44Updated 3 years ago
- ☆44Updated last year
- Mathematical stories☆13Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- ☆25Updated this week
- Ground Zero: Lean 4 HoTT Library☆45Updated last month
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated last year