maxitg / SetReplaceLinks
C++/Wolfram Language package for exploring set and graph rewriting systems
☆230Updated 3 months ago
Alternatives and similar repositories for SetReplace
Users that are interested in SetReplace are comparing it to the libraries listed below
Sorting:
- Hypergraph Rewriting System☆74Updated last year
- Git integration for the Wolfram Language☆126Updated 2 years ago
- ⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra☆488Updated last week
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- Symbolic Geometric Algebra/Calculus package for SymPy☆261Updated 3 weeks ago
- Integrates the Wolfram Language seamlessly with Python AIOHTTP☆92Updated last year
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆141Updated 11 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆31Updated last year
- A curated list of geometric algebra resources☆133Updated 5 years ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆160Updated this week
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆104Updated this week
- Find and report problems in Wolfram Language code☆65Updated 2 years ago
- ☆131Updated last month
- Simple JSON based Wolfram Language expression evaluation server☆33Updated 4 years ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆83Updated last week
- The Python toolkit for computing with string diagrams.☆379Updated 3 weeks ago
- Wolfram Notebooks + LLMs☆92Updated this week
- JavaScript embedder for Wolfram Cloud notebooks☆58Updated 3 years ago
- Wolfram Language connection to GPT, DALL-E, and more through the OpenAI API.☆30Updated 2 years ago
- The "Assumptions of Physics" book☆27Updated last week
- IGraph/M is the igraph interface for Mathematica☆96Updated 7 months ago
- Python library for quantum circuit rewriting and optimisation using the ZX-calculus☆433Updated last week
- Geometric algebra in JAX and numpy☆81Updated 3 months ago
- DevTools and styles for mathematica developers☆29Updated 4 years ago
- A framework for applied category theory in the Julia language☆663Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆123Updated 11 months ago
- A field-theory motivated approach to computer algebra.☆245Updated this week
- ∂B nets: learning discrete, boolean-valued functions by gradient descent☆21Updated last year
- A software package for analyzing Calabi-Yau manifolds.☆35Updated this week
- A useful tool on the road to reality. Read the documentation on the website.☆57Updated this week