Alternatives and similar repositories for symbolica

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

• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆698Updated 8 months ago
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,441Updated 3 weeks ago
• p-e-w / savage
  A primitive computer algebra system
  ☆587Updated 2 years ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆573Updated last month
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆80Updated this week
• lox-space / lox
  Oxidized Astrodynamics
  ☆357Updated this week
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,212Updated 2 months ago
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆653Updated 2 months ago
• formal-land / rocq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.
  ☆1,042Updated this week
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,873Updated last week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆309Updated 3 months ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆235Updated this week
• cpmech / russell
  Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…
  ☆175Updated last week
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆418Updated last week
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆661Updated 5 months ago
• LegNeato / rust-gpu-chimera
  Demo project showing a single Rust codebase running on CPU and directly on GPUs
  ☆469Updated 5 months ago
• LaurenzV / hayro
  A PDF interpreter and renderer in pure Rust.
  ☆514Updated this week
• wdanilo / crabtime
  ☆1,664Updated 3 months ago
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆981Updated 7 months ago
• blitzarx1 / egui_graphs
  Interactive graph visualization widget for rust powered by egui and petgraph
  ☆643Updated 2 months ago
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆512Updated this week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆670Updated 6 months ago
• nvzqz / divan
  Fast and simple benchmarking for Rust projects
  ☆1,301Updated 8 months ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆684Updated 6 months ago
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆242Updated 3 weeks ago
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆548Updated last week
• s-arash / ascent
  Logic programming in Rust
  ☆526Updated 2 months ago
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆248Updated 3 weeks ago
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆540Updated last week
• rust-or / good_lp
  Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…
  ☆415Updated last month