A toolkit for higher-dimensional diagram rewriting.
☆21Sep 15, 2022Updated 4 years ago
Alternatives and similar repositories for rewalt
Users that are interested in rewalt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 14, 2026Updated last month
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- A browser-only web interface to the free-theorems library☆12May 22, 2025Updated last year
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 3 years ago
- An interactive theorem prover for string diagrams☆130May 25, 2026Updated 5 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Synthetic Tait computability in intensional type theory☆18Jul 13, 2026Updated 3 months ago
- This repository is now obsolete☆11Sep 29, 2012Updated 14 years ago
- BisPy - Python bisimulation library☆18Jan 21, 2022Updated 4 years ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- [WIP] Optics via the profunctor representation theorem☆19Dec 18, 2019Updated 6 years ago
- ☆14Jul 24, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆39Oct 23, 2021Updated 5 years ago
- Implementation of the Delta Language☆14Mar 18, 2024Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆43Jun 13, 2026Updated 4 months ago
- A modern, principled toy implementation of dependent type theory☆12Mar 5, 2026Updated 8 months ago
- ☆27Aug 30, 2024Updated 2 years ago
- A semester long informal workshop looking at computational approaches to political philosophy☆12Jul 28, 2015Updated 11 years ago
- ☆34Apr 17, 2023Updated 3 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆26Jan 22, 2024Updated 2 years ago
- Optics via the profunctor representation theorem☆27Dec 6, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Map of Spinoza's Ethics: explore logical dependencies alongside the full Part I text, with interactive views and personal highlights.☆13Oct 1, 2026Updated last month
- ☆22Sep 8, 2021Updated 5 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 3 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- CAP project -- Categories, Algorithms, and Programming☆45Oct 27, 2026Updated last week
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 3 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆60Jul 24, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The root repository for the SpectralSequences project.☆38Updated this week
- ☆16Oct 31, 2023Updated 3 years ago
- ☆11Nov 14, 2020Updated 5 years ago
- ☆12Jun 13, 2023Updated 3 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year