taliesinb / MathTools
MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and equations, publishing to markdown, and working with various other tools.
☆20Updated 11 months ago
Alternatives and similar repositories for MathTools:
Users that are interested in MathTools are comparing it to the libraries listed below
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 3 weeks ago
- Simple converter of Mathematica notebooks to markdown.☆46Updated last year
- DevTools and styles for mathematica developers☆29Updated 4 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 3 months ago
- A graphical editor for graph-like structures☆98Updated last year
- A description of the language syntax and associated data, examples, and nonexamples.☆17Updated 4 years ago
- A framework for composing and simulating multiphysics systems☆58Updated this week
- Continuous integration and deployment for Wolfram Language Paclets☆12Updated 2 months ago
- Building dynamical systems compositionally☆69Updated 4 months ago
- Implementation of dual numbers for automatic differentiation of programs☆25Updated last year
- miscellaneous wolfram language functions☆30Updated 3 years ago
- Wolfram Language application for Bayesian inference and Gaussian process regression☆38Updated 2 years ago
- Wolfram package for Geometric Algebra☆7Updated 4 years ago
- Relational Algebra, now with more algebra!☆51Updated this week
- Structured decompositions!☆12Updated last month
- Differential forms in Julia☆14Updated 11 months ago
- ☆31Updated 11 months ago
- Build Petri net models compositionally☆81Updated 4 months ago
- Fast vectorized comparison and Boolean operations in the Wolfram Language.☆17Updated 5 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Wolfram Notebooks + LLMs☆87Updated this week
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 3 months ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 3 months ago
- Lex and Parse Markdown in Wolfram Language☆13Updated 5 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Updated 5 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated this week
- GAP packages for Julia integration☆75Updated this week