AlgebraicJulia / StructuredDecompositions.jl
Structured decompositions!
☆12Updated this week
Alternatives and similar repositories for StructuredDecompositions.jl:
Users that are interested in StructuredDecompositions.jl are comparing it to the libraries listed below
- ACSets: Algebraic databases as in-memory data structures☆21Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated this week
- ☆13Updated this week
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Updated last year
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 2 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Simplicial sets and other combinatorial models of geometric spaces☆33Updated this week
- A framework for composing and simulating multiphysics systems☆56Updated this week
- Relational Algebra, now with more algebra!☆49Updated 3 months ago
- Theories of social science expressed in Catlab.jl formalisms☆15Updated 3 years ago
- A Petri net modeling framework for the Julia programming language☆42Updated last year
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- Common types and interfaces for probabilistic programming☆29Updated last month
- Building dynamical systems compositionally☆68Updated 3 months ago
- Assorted s-expression utilities for Julia☆15Updated 11 months ago
- A graphical editor for graph-like structures☆98Updated last year
- C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱☆32Updated last year
- Fundamentals of the control-toolbox ecosystem☆12Updated last month
- Tensor algebra abstract type interoperability setup☆43Updated 2 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆37Updated last month
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Updated 3 years ago
- Build Petri net models compositionally☆79Updated 3 months ago
- BQN implementation in Julia☆17Updated 2 years ago
- A domain specific language (DSL) for probabilistic graphical models☆31Updated this week
- Tables.jl-friendly mechanisms for constructing, reading, writing, and validating Arrow tables against extensible, versioned, user-specifi…☆25Updated last month
- Library for compile-time computing in julia☆71Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆43Updated this week
- Tectonic typesetting for Julia.☆29Updated 3 weeks ago
- Capturing standard output and error streams in Julia.☆30Updated 7 months ago