AlgebraicJulia / AlgebraicRelations.jlView external linksLinks
Relational Algebra, now with more algebra!
☆55Sep 14, 2025Updated 4 months ago
Alternatives and similar repositories for AlgebraicRelations.jl
Users that are interested in AlgebraicRelations.jl are comparing it to the libraries listed below
Sorting:
- Building dynamical systems compositionally☆77Updated this week
- Build Petri net models compositionally☆90Aug 27, 2025Updated 5 months ago
- Simplicial Sets and the Discrete Exterior Calculus☆41Feb 5, 2026Updated last week
- A framework for applied category theory in the Julia language☆692Feb 5, 2026Updated last week
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Oct 30, 2023Updated 2 years ago
- ACSets: Algebraic databases as in-memory data structures☆27Updated this week
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- A graphical editor for graph-like structures☆104Dec 18, 2023Updated 2 years ago
- Structured decompositions!☆15Mar 26, 2025Updated 10 months ago
- Theories of social science expressed in Catlab.jl formalisms☆15Mar 21, 2021Updated 4 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated 3 weeks ago
- A framework for composing and simulating multiphysics systems☆79Feb 5, 2026Updated last week
- Library for compile-time computing in julia☆73Nov 27, 2023Updated 2 years ago
- ☆15Sep 23, 2024Updated last year
- A julia package for representing and manipulating model semantics☆78Jul 27, 2020Updated 5 years ago
- ☆16Jan 21, 2026Updated 3 weeks ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Jan 1, 2026Updated last month
- Generate Rust wrappers for Julia types that can be used with jlrs☆21Dec 2, 2022Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆35Oct 4, 2025Updated 4 months ago
- A lightweight framework to enable hierarchical, heterogeneous dynamical systems co-integration. Batteries included!☆22Jan 19, 2026Updated 3 weeks ago
- Collective tools for metaprogramming on Julia Expr☆92Dec 15, 2025Updated last month
- Safe interpolations for SQL query strings☆34Dec 9, 2025Updated 2 months ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 3 years ago
- A CommonMark-compliant Markdown parser for Julia.☆98Updated this week
- Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…☆393Dec 29, 2025Updated last month
- A universal document authoring package for Julia.☆99Sep 22, 2022Updated 3 years ago
- An Abstract Reasoning Logic Interface☆15Oct 16, 2020Updated 5 years ago
- ☆27Mar 2, 2025Updated 11 months ago
- Automatically generate Julia-C bindings!☆15Mar 16, 2021Updated 4 years ago
- Julia package for learning cellular sheaf Laplacians☆16Apr 21, 2021Updated 4 years ago
- A Petri net modeling framework for the Julia programming language☆43Nov 22, 2023Updated 2 years ago
- Animations, easings and interpolations for animated visualizations.☆85Nov 18, 2024Updated last year
- Monoid, Functor, Applicative, Monad and more☆18May 7, 2023Updated 2 years ago
- a simple API for parallel computation on collections☆16Oct 6, 2022Updated 3 years ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 2 years ago
- Decentralizing exports in Julia☆15Jul 29, 2020Updated 5 years ago
- Automate user-specific system images for Julia☆90Oct 5, 2022Updated 3 years ago
- C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱☆38Oct 28, 2025Updated 3 months ago