AlgebraicJulia / GATlab.jl
GATlab: a computer algebra system based on generalized algebraic theories (GATs)
☆24Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for GATlab.jl
- ACSets: Algebraic databases as in-memory data structures☆19Updated 3 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated this week
- Bayesian inference on wiring diagrams.☆18Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆29Updated this week
- A graphical editor for graph-like structures☆94Updated 10 months ago
- Relational Algebra, now with more algebra!☆48Updated 2 weeks ago
- egraph <-> json☆12Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- ☆11Updated this week
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- Simplicial sets and other combinatorial models of geometric spaces☆29Updated this week
- Build Petri net models compositionally☆76Updated 2 weeks ago
- A framework for composing and simulating multiphysics systems☆49Updated this week
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Template for Lean<->Rust FFI☆11Updated 8 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated this week
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- Theory and Applications of Lenses and Optics☆52Updated 2 years ago
- ☆15Updated 5 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆12Updated last year
- Deposited packages of the homalg project☆12Updated last month
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 3 years ago
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- ☆35Updated 4 months ago
- Agda category theory library for denotational design☆48Updated 5 months ago