loopspace / mathgrepLinks
A perl script for searching and replacing in mathematics in LaTeX documents.
☆12Updated 4 years ago
Alternatives and similar repositories for mathgrep
Users that are interested in mathgrep are comparing it to the libraries listed below
Sorting:
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Updated last week
- Macro that force imports conflicting methods in modules☆14Updated 7 years ago
- Programming Gemm Kernels on NVIDIA GPUs with Tensor Cores in Julia☆43Updated 3 weeks ago
- Julia implementation of the simplex algorithm for rational numbers.☆15Updated 7 years ago
- Julia library to manipulate MLIR dialects.☆65Updated 11 months ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- An Extensible Test Matrix Collection for Julia☆82Updated last year
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Updated 4 years ago
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆39Updated 2 years ago
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- The fastest tropical matrix multiplication in the world!☆32Updated last month
- Multivectors for geometric algebra☆25Updated 3 years ago
- Julia implementation for the BFloat16 number type☆58Updated 3 weeks ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Updated last week
- Julia language support for CTAGS☆25Updated last year
- Optional argument checks allow you to omit them when performance is critical.☆10Updated 3 years ago
- Like a kick in the monads☆42Updated 3 years ago
- Python-style format strings for Julia☆39Updated 3 years ago
- Efficient storage and handling of nested arrays in Julia☆47Updated last month
- Julia bindings for tree-sitter.☆31Updated last week
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Updated 3 weeks ago
- Testing new ideas for array iteration☆20Updated 5 years ago
- Exploration of traits in Julia☆39Updated 8 years ago
- Julia package for deconstructing dispatch on NamedTuples.☆12Updated 5 years ago
- Julia package for the Singular library☆35Updated this week
- Write flame graphs to SVG format and explore them interactively in Jupyter, Pluto, etc.☆55Updated last year
- JuliaLab Website☆22Updated last month