Alternatives and similar repositories for symbolica

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

• p-e-w / savage
  A primitive computer algebra system
  ☆585Updated 2 years ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆996Updated this week
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆687Updated 6 months ago
• typst / comemo
  Incremental computation through constrained memoization.
  ☆552Updated 3 months ago
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,409Updated this week
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆655Updated 3 months ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆77Updated last week
• lox-space / lox
  Oxidized Astrodynamics
  ☆349Updated this week
• LegNeato / rust-gpu-chimera
  Demo project showing a single Rust codebase running on CPU and directly on GPUs
  ☆462Updated 3 months ago
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆633Updated last week
• cpmech / russell
  Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…
  ☆173Updated 2 weeks ago
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,192Updated last week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆294Updated 2 months ago
• 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…
  ☆388Updated this week
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,781Updated this week
• typst / hayagriva
  Rusty bibliography management.
  ☆547Updated this week
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆237Updated 3 weeks ago
• LaurenzV / hayro
  A PDF interpreter and renderer in pure Rust.
  ☆459Updated this week
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆500Updated 2 months ago
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆531Updated last week
• s-arash / ascent
  Logic programming in Rust
  ☆518Updated 3 weeks ago
• mtantaoui / Integrate
  a small, lightweight crate for numerical integration written in Rust.
  ☆111Updated 3 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆661Updated 5 months ago
• jonathanmagambo / otterlang
  Otterlang programming language 🦦
  ☆581Updated this week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆219Updated this week
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆522Updated last week
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆476Updated 3 months ago
• wdanilo / crabtime
  ☆1,635Updated last month
• sparsemat / sprs
  sparse linear algebra library for rust
  ☆553Updated last week
• Taaitaaiger / jlrs
  Julia bindings for Rust
  ☆473Updated last week