maxitg / SetReplace
C++/Wolfram Language package for exploring set and graph rewriting systems
☆227Updated last month
Alternatives and similar repositories for SetReplace:
Users that are interested in SetReplace are comparing it to the libraries listed below
- Gravitas: Analytical and numerical general relativity in discrete and continuous spacetimes☆95Updated last year
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆137Updated 9 months ago
- The Python toolkit for computing with string diagrams.☆371Updated 3 weeks ago
- Wolfram Notebooks + LLMs☆89Updated last week
- Python library for quantum circuit rewriting and optimisation using the ZX-calculus☆417Updated last week
- Integrates the Wolfram Language seamlessly with Python AIOHTTP☆91Updated last year
- Git integration for the Wolfram Language☆124Updated 2 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- Hypergraph Rewriting System☆71Updated last year
- Find and report problems in Wolfram Language code☆65Updated 2 years ago
- A curated list of geometric algebra resources☆133Updated 4 years ago
- Wolfram Language connection to GPT, DALL-E, and more through the OpenAI API.☆30Updated 2 years ago
- 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…☆96Updated 3 weeks ago
- Metamath source file for logic and set theory☆277Updated last week
- A field-theory motivated approach to computer algebra.☆240Updated this week
- Freeware notebook environment for Wolfram Language written in Javascript☆398Updated this week
- IGraph/M is the igraph interface for Mathematica☆96Updated 5 months ago
- Simulations of photonic quantum programmable gate arrays☆106Updated 4 years ago
- Extend Mathematica with LibraryLink and C++ with ease☆58Updated 4 years ago
- Specification of Quil: A Practical Quantum Instruction Set Architecture☆117Updated 7 months ago
- Quantum algorithms built using pyQuil.☆380Updated 3 years ago
- Official repository of the FriCAS computer algebra system☆330Updated this week
- ⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra☆485Updated last month
- Simple converter of Mathematica notebooks to markdown.☆50Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 9 months ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- Convert Wolfram Mathematica notebooks to markdown files☆14Updated 7 years ago
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆72Updated 4 years ago
- source code for math gifs posted to twitter☆128Updated 4 years ago
- Simple JSON based Wolfram Language expression evaluation server☆33Updated 4 years ago