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:
- Macro that force imports conflicting methods in modules☆14Updated 7 years ago
- Random Number Generators for the Julia Language.☆99Updated last year
- Julia library to manipulate MLIR dialects.☆65Updated 9 months ago
- Tensor algebra abstract type interoperability setup☆44Updated last month
- Programming Gemm Kernels on NVIDIA GPUs with Tensor Cores in Julia☆42Updated 2 months ago
- An Extensible Test Matrix Collection for Julia☆82Updated 11 months ago
- Julia implementation for the BFloat16 number type☆54Updated 3 weeks ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Updated 2 months ago
- Julia package for the Singular library☆35Updated this week
- Using PLT trampolines to provide a BLAS and LAPACK demuxing library.☆68Updated last week
- Data-parallelism on CUDA using Transducers.jl and for loops (FLoops.jl)☆57Updated 2 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆97Updated 3 years ago
- Global Address SPace toolbox -- Julia wrapper☆10Updated 7 years ago
- Julia bindings to the SAT solver picosat☆32Updated last year
- GPU integrations for Dagger.jl☆54Updated 4 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated 10 months ago
- fixed point types for julia☆90Updated last year
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 2 months ago
- Optional argument checks allow you to omit them when performance is critical.☆10Updated 3 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- A domain specific language (DSL) for probabilistic graphical models☆60Updated last week
- Write flame graphs to SVG format and explore them interactively in Jupyter, Pluto, etc.☆55Updated last year
- Vectors of unique elements, with quick reverse lookups☆25Updated 2 years ago
- An efficient symbolic term rewriting engine☆78Updated 4 years ago
- Julia Binding to the GraphViz library☆68Updated 2 months ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Updated 10 months ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆34Updated last month