AlgebraicJulia / StructuredDecompositions.jlLinks
Structured decompositions!
☆15Updated 10 months ago
Alternatives and similar repositories for StructuredDecompositions.jl
Users that are interested in StructuredDecompositions.jl are comparing it to the libraries listed below
Sorting:
- ACSets: Algebraic databases as in-memory data structures☆27Updated this week
- ☆16Updated 3 weeks ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated 2 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆41Updated last week
- Bayesian inference on wiring diagrams.☆18Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Updated 4 months ago
- A framework for composing and simulating multiphysics systems☆79Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated 3 weeks ago
- A Petri net modeling framework for the Julia programming language☆43Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated 2 years ago
- Extra tools for setting up Documenter☆31Updated 2 months ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Updated last week
- Relational Algebra, now with more algebra!☆55Updated 4 months ago
- Capturing standard output and error streams in Julia.☆31Updated 2 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Updated last month
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆33Updated 10 months ago
- A graphical editor for graph-like structures☆104Updated 2 years ago
- Build Petri net models compositionally☆90Updated 5 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Updated 2 years ago
- Julia interface to Z3☆71Updated 2 months ago
- Like a kick in the monads☆42Updated 3 years ago
- ☆73Updated last month
- Graph IO functionality for various formats.☆63Updated last month
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- Library for compile-time computing in julia☆73Updated 2 years ago
- ☆10Updated 2 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆39Updated 2 years ago
- Data structures from the book *Purely Functional Data Structures*, implemented in the Julia language.☆16Updated 2 years ago