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
  ☆651Updated 2 months ago
• p-e-w / savage
  A primitive computer algebra system
  ☆587Updated 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! ✈️ 🚀 ⚕️ 🏦
  ☆938Updated this week
• typst / comemo
  Incremental computation through constrained memoization.
  ☆522Updated 8 months ago
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,254Updated 2 months ago
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,536Updated this week
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆572Updated 3 months ago
• lox-space / lox
  Oxidized Astrodynamics
  ☆324Updated last week
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆466Updated 3 weeks 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…
  ☆342Updated 2 weeks ago
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆467Updated last week
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,141Updated this week
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆71Updated 3 weeks ago
• mitex-rs / mitex
  LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/
  ☆423Updated 5 months ago
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆641Updated this week
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆310Updated 3 weeks ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆648Updated last month
• typst / hayagriva
  Rusty bibliography management.
  ☆466Updated this week
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆380Updated 2 months ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆698Updated last month
• s-arash / ascent
  Logic programming in Rust
  ☆472Updated 2 months ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,944Updated this week
• cpmech / russell
  Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…
  ☆163Updated last week
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆937Updated last month
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆181Updated 2 weeks ago
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,298Updated this week
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆219Updated 10 months ago
• willothy / whirlwind
  🌀 Async-first sharded hashmap for Rust.
  ☆515Updated 5 months ago
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,320Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆749Updated this week