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
  ☆665Updated 3 months ago
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,321Updated 4 months ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆969Updated last week
• p-e-w / savage
  A primitive computer algebra system
  ☆585Updated 2 years ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆532Updated last month
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆74Updated last week
• LegNeato / rust-gpu-chimera
  Demo project showing a single Rust codebase running on CPU and directly on GPUs
  ☆436Updated 3 weeks ago
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,655Updated last week
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆649Updated last month
• lox-space / lox
  Oxidized Astrodynamics
  ☆336Updated this week
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆592Updated 3 weeks ago
• cpmech / russell
  Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…
  ☆165Updated 3 weeks ago
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,157Updated last month
• 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…
  ☆353Updated last month
• s-arash / ascent
  Logic programming in Rust
  ☆482Updated 3 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆654Updated 2 months ago
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆343Updated last week
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆354Updated this week
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆951Updated 3 months ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,006Updated this week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆238Updated last month
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆510Updated this week
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆223Updated last year
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆190Updated last week
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆469Updated last month
• flux-rs / flux
  Refinement Types for Rust
  ☆761Updated this week
• EnzymeAD / rust
  A rust fork to work towards Enzyme integration
  ☆92Updated 2 months ago
• mtantaoui / Integrate
  a small, lightweight crate for numerical integration written in Rust.
  ☆109Updated last month
• willothy / whirlwind
  🌀 Async-first sharded hashmap for Rust.
  ☆527Updated 7 months ago
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆237Updated 3 weeks ago