AlgebraicJulia / AlgebraicPetri.jl
Build Petri net models compositionally
☆76Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for AlgebraicPetri.jl
- Relational Algebra, now with more algebra!☆48Updated 2 weeks ago
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- A Petri net modeling framework for the Julia programming language☆40Updated 11 months ago
- Julia interface to Z3☆57Updated last month
- Simplicial sets and other combinatorial models of geometric spaces☆29Updated this week
- A graphical editor for graph-like structures☆94Updated 10 months ago
- A little less conversation, a little more abstraction☆87Updated 2 years ago
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- A framework for composing and simulating multiphysics systems☆49Updated this week
- Parameterise all the things☆120Updated this week
- Basic interface for manifolds in Julia☆88Updated 2 weeks ago
- Library for compile-time computing in julia☆70Updated 11 months ago
- Implementation of domain-specific language (DSL) for dynamic probabilistic programming☆164Updated this week
- An event based Discrete Event Simulation engine☆21Updated 3 years ago
- A package for simple property based testing in julia.☆80Updated 7 months ago
- Immutables as mutables, mutables as immutables.☆107Updated last week
- Tensor algebra abstract type interoperability setup☆43Updated 3 weeks ago
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆59Updated 4 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 2 months ago
- Common types and interfaces for probabilistic programming☆27Updated this week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Functions generated at runtime without world-age issues or overhead☆100Updated last week
- Compiled parser combinators and regular expressions in pure julia☆78Updated 2 years ago
- Sole.jl – Long live transparent modeling!☆38Updated last week
- ☆65Updated last month
- Bayesian inference on wiring diagrams.☆18Updated last year
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated 2 months ago
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- A simple shared suite of common derivative definitions☆75Updated 10 months ago