AlgebraicJulia / AlgebraicRewriting.jlView external linksLinks
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
☆35Oct 4, 2025Updated 4 months ago
Alternatives and similar repositories for AlgebraicRewriting.jl
Users that are interested in AlgebraicRewriting.jl are comparing it to the libraries listed below
Sorting:
- Simplicial Sets and the Discrete Exterior Calculus☆41Feb 5, 2026Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated 3 weeks ago
- ☆16Jan 21, 2026Updated 3 weeks ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- Core functionality for processing coverage information in Julia☆10Feb 1, 2026Updated last week
- Structured decompositions!☆15Mar 26, 2025Updated 10 months ago
- A framework for composing and simulating multiphysics systems☆79Feb 5, 2026Updated last week
- The implementation of NameResolution.jl for Julia language.☆29Mar 17, 2022Updated 3 years ago
- Build Petri net models compositionally☆90Aug 27, 2025Updated 5 months ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Dec 10, 2021Updated 4 years ago
- A graphical editor for graph-like structures☆104Dec 18, 2023Updated 2 years ago
- Calculate distances between strings by how similar they look☆11Jan 28, 2024Updated 2 years ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- ACSets: Algebraic databases as in-memory data structures☆27Updated this week
- Building dynamical systems compositionally☆77Updated this week
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- Display stack traces in reverse order☆14Apr 14, 2023Updated 2 years ago
- Convenience functions missing in Julia☆24Sep 21, 2024Updated last year
- A framework for applied category theory in the Julia language☆693Updated this week
- Big package depending on a lot of open source repos.☆16Feb 8, 2026Updated last week
- Tools to analyze and manipulate climate (spatiotemporal) data. Also used by ClimateTools and ClimatePlots☆39Updated this week
- Code-regrouping to reduce latency in Julia code compilation☆15Mar 11, 2022Updated 3 years ago
- A simple weather app for the Julia REPL☆33Feb 1, 2025Updated last year
- Optional value handling for Julia☆29Oct 5, 2022Updated 3 years ago
- ☆33Jun 25, 2021Updated 4 years ago
- Julia bind to fzf fuzzy finder☆20Apr 17, 2025Updated 9 months ago
- Easy table viewing in a pop-up window in Julia☆48May 31, 2021Updated 4 years ago
- Analysis of profiling data using trees☆53Nov 24, 2025Updated 2 months ago
- YaoLang: The next DSL for Yao and quantum programs.☆31May 17, 2021Updated 4 years ago
- ☆77Oct 4, 2025Updated 4 months ago
- A Julia interface to the MiniZinc constraint modeling language☆19Updated this week
- Randomized Property Testing for Julia☆20May 13, 2025Updated 9 months ago
- Mirror of https://code.tecosaur.net/tec/RestClient.jl☆19Aug 14, 2025Updated 6 months ago
- A package for graph optimization algorithms that rely on mathematical programming.☆20Dec 18, 2025Updated last month
- Yao.jl extension for plotting quantum circuit☆17Feb 23, 2024Updated last year
- A Julia package for representing infinite-dimensional arrays☆75Jan 5, 2026Updated last month
- A toolbox of simple solutions for common data cleaning problems.☆36Dec 17, 2025Updated last month
- Library for compile-time computing in julia☆73Nov 27, 2023Updated 2 years ago
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year