AlgebraicJulia / AlgebraicOptimization.jl
☆11Updated this week
Alternatives and similar repositories for AlgebraicOptimization.jl:
Users that are interested in AlgebraicOptimization.jl are comparing it to the libraries listed below
- Structured decompositions!☆12Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- ☆14Updated 3 weeks ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 4 months ago
- ACSets: Algebraic databases as in-memory data structures☆23Updated 2 weeks ago
- A domain specific language (DSL) for probabilistic graphical models☆38Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 2 weeks ago
- Build Petri net models compositionally☆82Updated 5 months ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated 2 weeks ago
- Fundamentals of the control-toolbox ecosystem☆13Updated 2 weeks ago
- Relational Algebra, now with more algebra!☆52Updated 2 weeks ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- A Petri net modeling framework for the Julia programming language☆43Updated last year
- GAP packages for Julia integration☆75Updated this week
- A framework for composing and simulating multiphysics systems☆61Updated 2 weeks ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated last year
- Create NLPModels with JuMP☆36Updated 3 weeks ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Updated last year
- Parsers and Tools for OpenQASM☆17Updated last year
- A borrow checker for Julia☆84Updated last month
- Library for compile-time computing in julia☆71Updated last year
- Julia package for the Singular library☆35Updated this week
- for you with the good questions☆26Updated 3 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 4 months ago
- Static types useful for dispatch and generated functions.☆59Updated 2 weeks ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 3 months ago
- The base package for Optimization.jl, containing the structs and basic functions for it.☆15Updated last week
- Common types and interfaces for probabilistic programming☆29Updated 3 weeks ago
- Base functionality library for QuantumOptics.jl☆65Updated 2 weeks ago