AlgebraicJulia / AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
☆25Updated last week
Related projects: ⓘ
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- Relational Algebra, now with more algebra!☆48Updated 10 months ago
- Building dynamical systems compositionally☆65Updated last week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆11Updated 10 months ago
- Build Petri net models compositionally☆72Updated 2 months ago
- ACSets: Algebraic databases as in-memory data structures☆18Updated 3 weeks ago
- Bayesian inference on wiring diagrams.☆18Updated 11 months ago
- A graphical editor for graph-like structures☆93Updated 9 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆12Updated this week
- A framework for composing and simulating multiphysics systems☆47Updated 2 weeks ago
- A Petri net modeling framework for the Julia programming language☆40Updated 9 months ago
- Assorted s-expression utilities for Julia☆15Updated 6 months ago
- collective tools for Julia SSA IR.☆29Updated 9 months ago
- Simplicial sets and other combinatorial models of geometric spaces☆28Updated this week
- Common types and interfaces for probabilistic programming☆24Updated this week
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆12Updated 10 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Like a kick in the monads☆39Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆37Updated 2 weeks ago
- ☆10Updated last year
- Monoid, Functor, Applicative, Monad and more☆16Updated last year
- Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specifi…☆24Updated last week
- ☆14Updated 2 years ago
- ☆23Updated 2 weeks ago
- Full-featured traits in Julia. Without full features how dare I say this?☆63Updated 8 months ago
- ☆23Updated 2 years ago
- Tectonic typesetting for Julia.☆29Updated 5 months ago
- It's interpreters all the way down.☆13Updated 3 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 2 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago