ahadziha / rewaltLinks
A toolkit for higher-dimensional diagram rewriting.
☆17Updated 2 years ago
Alternatives and similar repositories for rewalt
Users that are interested in rewalt are comparing it to the libraries listed below
Sorting:
- ☆23Updated 3 years ago
- ☆13Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆12Updated 2 years ago
- Agda category theory library for denotational design☆51Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- A verified tensor library in Lean☆24Updated last week
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- ☆44Updated 2 years ago
- ☆47Updated last year
- A database of small finite categories☆14Updated last year
- ☆10Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated 2 weeks ago
- Plain-text declaration export for Lean 4☆16Updated this week
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆26Updated 11 months ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆17Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- A coq plugin to deal with commutative diagrams☆22Updated 11 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Ground Zero: Lean 4 HoTT Library☆62Updated this week
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- ☆17Updated 3 years ago
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆63Updated 7 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week