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:
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 9 months ago
- ☆23Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Practical arithmetic encoding (aka Gödel numbering) library for Haskell.☆10Updated 5 years ago
- ☆13Updated 3 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆10Updated last week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆50Updated 8 months ago
- ☆48Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆17Updated 3 years ago
- Agda category theory library for denotational design☆51Updated last year
- ☆12Updated 2 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- ☆44Updated 2 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Paper and talk☆54Updated last year
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Updated this week
- Ground Zero: Lean 4 HoTT Library☆62Updated 3 weeks ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Automated theorem prover for a linear logic-based calculus for molecular biology.☆12Updated 2 years ago
- Matroids in Lean☆18Updated last year