AlgebraicJulia / Petri.jlView external linksLinks
A Petri net modeling framework for the Julia programming language
☆43Nov 22, 2023Updated 2 years ago
Alternatives and similar repositories for Petri.jl
Users that are interested in Petri.jl are comparing it to the libraries listed below
Sorting:
- Build Petri net models compositionally☆90Aug 27, 2025Updated 5 months ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- A faster and more accurate Exp (and Exp2, Exp10) functions for Julia.☆16Jan 18, 2022Updated 4 years ago
- Data validation and settings management in Julia☆14Apr 15, 2021Updated 4 years ago
- Building dynamical systems compositionally☆77Updated this week
- A framework for applied category theory in the Julia language☆693Updated this week
- Multivariate polynomials implementation of commutative and non-commutative variables☆67Sep 19, 2025Updated 4 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Jun 23, 2022Updated 3 years ago
- Multivariate polynomials interface☆139Feb 9, 2026Updated last week
- Branch and prune interface for Julia☆16Feb 13, 2023Updated 3 years ago
- ☆16Jan 21, 2026Updated 3 weeks ago
- Exact linear algebra functions☆43Nov 24, 2025Updated 2 months ago
- Tangent bundle, vector space and Submanifold definition☆51Jan 12, 2026Updated last month
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Dec 27, 2025Updated last month
- Systems definitions in Julia☆44Jan 31, 2026Updated 2 weeks ago
- A package for graph optimization algorithms that rely on mathematical programming.☆20Dec 18, 2025Updated last month
- Arithmetic with small and with very large rationals is made fast.☆23Feb 9, 2026Updated last week
- Data structures for graph neural network☆18May 25, 2024Updated last year
- Differentiating optimization programs w.r.t. program parameters☆137Updated this week
- Simplicial Sets and the Discrete Exterior Calculus☆41Feb 5, 2026Updated last week
- Matrices with interval coefficients in Julia☆19Jan 17, 2026Updated 3 weeks ago
- Base API optimized for tuples☆19Sep 9, 2020Updated 5 years ago
- Add virtual padding to the edges of an array☆51Dec 15, 2025Updated 2 months ago
- Relational Algebra, now with more algebra!☆55Sep 14, 2025Updated 5 months ago
- Static numbers in Julia☆37Apr 11, 2022Updated 3 years ago
- Tools for working with metadata of Tables.jl tables in Julia.☆19Jan 12, 2023Updated 3 years ago
- Julia High Performance☆24Jun 13, 2019Updated 6 years ago
- ☆18Jun 29, 2022Updated 3 years ago
- Automatic differentiation of Distributions using Tracker, Zygote, ForwardDiff and ReverseDiff☆154Aug 28, 2025Updated 5 months ago
- Animations, easings and interpolations for animated visualizations.☆85Nov 18, 2024Updated last year
- A julia code generator for regular expressions☆198Dec 28, 2025Updated last month
- Chemical reaction network and systems biology interface for scientific machine learning (SciML). High performance, GPU-parallelized, and …☆504Updated this week
- MultivariatePolynomials implementation using typed variables in Julia☆27Sep 1, 2025Updated 5 months ago
- Enclosures of real-valued functions in Julia☆23Jan 31, 2026Updated 2 weeks ago
- A Julia package for representing block-banded matrices and banded-block-banded matrices☆62Jan 10, 2026Updated last month
- A graphical editor for graph-like structures☆104Dec 18, 2023Updated 2 years ago
- Lightweight robust covariance estimation in Julia☆44Nov 25, 2025Updated 2 months ago
- A course on composable system modeling, differential-algebraic equations, acausal modeling, compilers for simulation, and building digita…☆48Jan 6, 2026Updated last month
- Example games for GameZero.jl☆23Mar 27, 2024Updated last year