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:
- Julia library to manipulate MLIR dialects.☆65Updated 11 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆41Updated 3 weeks ago
- ☆28Updated 4 years ago
- Programming Gemm Kernels on NVIDIA GPUs with Tensor Cores in Julia☆43Updated last month
- Julia package for the Singular library☆35Updated this week
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- Optional argument checks allow you to omit them when performance is critical.☆10Updated 3 years ago
- A DSL for modern parsing☆46Updated 3 weeks ago
- Tangent bundle, vector space and Submanifold definition☆51Updated 2 weeks ago
- Toolset for modifying Julia AST and characteristic values☆16Updated 6 years ago
- ☆18Updated 3 years ago
- Tensor algebra abstract type interoperability setup☆44Updated 4 months ago
- Monad implementation in Julia☆13Updated 5 years ago
- Run shell commands becomes easy in Julia!☆12Updated 5 years ago
- no more 🐱🐱☆21Updated last month
- Julia implementation for the BFloat16 number type☆58Updated last week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- ☆39Updated 5 months ago
- GPU integrations for Dagger.jl☆54Updated 6 months ago
- Macro that force imports conflicting methods in modules☆14Updated 7 years ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- Python-style format strings for Julia☆39Updated 3 years ago
- Like a kick in the monads☆42Updated 3 years ago
- Groebner bases in (almost) pure Julia☆74Updated 2 weeks ago
- Multivectors for geometric algebra☆25Updated 3 years ago
- Wrappers for the SciPy differential equation solvers for the SciML Scientific Machine Learning organization☆22Updated 3 weeks ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl☆39Updated 2 years ago
- Flexible and performant GEMM kernels in Julia☆83Updated last month
- Pattern matching☆54Updated 3 years ago