Alternatives and similar repositories for symbolica

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

• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,236Updated last month
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,505Updated this week
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆923Updated this week
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆646Updated last month
• p-e-w / savage
  A primitive computer algebra system
  ☆586Updated 2 years ago
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆637Updated 3 weeks ago
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆567Updated 2 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆646Updated last week
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,129Updated 2 months ago
• Mathics3 / mathics-core
  An open-source Mathematica Kernel. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g…
  ☆1,108Updated last week
• typst / comemo
  Incremental computation through constrained memoization.
  ☆518Updated 7 months ago
• newca12 / awesome-rust-formalized-reasoning
  An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…
  ☆343Updated this week
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆392Updated 3 months ago
• godzie44 / BugStalker
  Rust debugger for Linux x86-64
  ☆1,110Updated last month
• Rust-GPU / rust-gpu
  🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
  ☆1,904Updated last week
• s-arash / ascent
  Logic programming in Rust
  ☆470Updated last month
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆69Updated this week
• coreylowman / dfdx
  Deep learning in Rust, with shape checked tensors and neural networks
  ☆1,823Updated 11 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆741Updated this week
• wdanilo / crabtime
  ☆1,566Updated last month
• typst / hayagriva
  Rusty bibliography management.
  ☆451Updated this week
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆302Updated 3 weeks ago
• lox-space / lox
  Oxidized Astrodynamics
  ☆317Updated this week
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆217Updated 10 months ago
• charles-r-earp / krnl
  Safe, portable, high performance compute (GPGPU) kernels.
  ☆231Updated last year
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆924Updated last month
• sunfishcode / eyra
  Rust programs written entirely in Rust
  ☆842Updated last month
• nvzqz / divan
  Fast and simple benchmarking for Rust projects
  ☆1,155Updated 2 months ago
• blitzar-tech / egui_graphs
  Interactive graph visualization widget for rust powered by egui and petgraph
  ☆535Updated this week
• sparsemat / sprs
  sparse linear algebra library for rust
  ☆510Updated last month