Alternatives and similar repositories for mathgrep

Users that are interested in mathgrep are comparing it to the libraries listed below

• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆65Updated last year
• YichengDWu / MoYe.jl
  Programming Gemm Kernels on NVIDIA GPUs with Tensor Cores in Julia
  ☆43Updated last month
• JuliaSymbolics / TermInterface.jl
  Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert
  ☆41Updated last month
• PhilipVinc / Jax.jl
  ☆28Updated 4 years ago
• innerlee / Shell.jl
  Run shell commands becomes easy in Julia!
  ☆12Updated 5 years ago
• chakravala / AbstractTensors.jl
  Tensor algebra abstract type interoperability setup
  ☆44Updated 5 months ago
• chakravala / DirectSum.jl
  Tangent bundle, vector space and Submanifold definition
  ☆51Updated 3 weeks ago
• singularitti / vscode-julia-formatter
  [DEPRECATED] A formatter for the Julia language powered by JuliaFormatter.jl
  ☆39Updated 2 years ago
• MartinuzziFrancesco / CellularAutomata.jl
  Cellular automata creation and analysis tools
  ☆29Updated 8 months ago
• SciML / SciPyDiffEq.jl
  Wrappers for the SciPy differential equation solvers for the SciML Scientific Machine Learning organization
  ☆22Updated 3 weeks ago
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆78Updated 5 years ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 3 years ago
• bicycle1885 / Fmt.jl
  Python-style format strings for Julia
  ☆39Updated 3 years ago
• YichengDWu / FlashAttention.jl
  Julia implementation of the Flash Attention algorithm
  ☆19Updated 2 years ago
• JuliaMath / BFloat16s.jl
  Julia implementation for the BFloat16 number type
  ☆58Updated 2 weeks ago
• thautwarm / RBNF.jl
  A DSL for modern parsing
  ☆47Updated last month
• JuliaEditorSupport / julia-ctags
  Julia language support for CTAGS
  ☆25Updated last year
• JuliaArrays / StackViews.jl
  no more 🐱🐱
  ☆21Updated last month
• chakravala / ForceImport.jl
  Macro that force imports conflicting methods in modules
  ☆14Updated 7 years ago
• JuliaLinearAlgebra / BLIS.jl
  This repo plans to provide a low-level Julia wrapper for BLIS typed interface.
  ☆26Updated 3 months ago
• JuliaGPU / DaggerGPU.jl
  GPU integrations for Dagger.jl
  ☆54Updated 7 months ago
• elsoroka / Satisfiability.jl
  Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
  ☆52Updated last week
• JuliaGPU / GemmKernels.jl
  Flexible and performant GEMM kernels in Julia
  ☆83Updated this week
• TimSiebert1 / ADOLC.jl
  ☆13Updated last year
• simeonschaub / OptionalArgChecks.jl
  Optional argument checks allow you to omit them when performance is critical.
  ☆10Updated 3 years ago
• JuliaSymbolics / SymbolicSMT.jl
  Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions
  ☆36Updated last month
• MichaelHatherly / TreeSitter.jl
  Julia bindings for tree-sitter.
  ☆32Updated last week
• davibarreira / NotebookToLaTeX.jl
  A Julia package for converting your Pluto and Jupyter Notebooks into beautiful Latex.
  ☆76Updated 3 years ago
• mgubi / tm-julia
  TeXmacs plugin for the Julia language
  ☆17Updated last year
• maleadt / pthreads.jl
  POSIX Threads support in Julia.
  ☆17Updated 3 years ago