Alternatives and similar repositories for symbolica

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

• typst / comemo
  Incremental computation through constrained memoization.
  ☆556Updated 3 months ago
• p-e-w / savage
  A primitive computer algebra system
  ☆586Updated 2 years ago
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,415Updated last week
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆685Updated 6 months ago
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆79Updated 3 weeks ago
• typst / hayagriva
  Rusty bibliography management.
  ☆555Updated 2 weeks ago
• formal-land / coq-of-rust
  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦
  ☆1,007Updated this week
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆639Updated 3 weeks ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆298Updated 2 months ago
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆525Updated 2 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…
  ☆391Updated 2 weeks ago
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆656Updated 4 months ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆830Updated 3 weeks ago
• cpmech / russell
  Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…
  ☆175Updated last month
• LaurenzV / hayro
  A PDF interpreter and renderer in pure Rust.
  ☆466Updated last week
• mhogrefe / malachite
  An arbitrary-precision arithmetic library for Rust.
  ☆532Updated this week
• mitex-rs / mitex
  LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/
  ☆466Updated 2 weeks ago
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,807Updated this week
• MathItYT / mathlikeanim-rs
  A Rust library to create interactive mathematical animations
  ☆137Updated 8 months ago
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,193Updated 3 weeks ago
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆224Updated this week
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆505Updated 2 months ago
• s-arash / ascent
  Logic programming in Rust
  ☆521Updated last month
• LegNeato / rust-gpu-chimera
  Demo project showing a single Rust codebase running on CPU and directly on GPUs
  ☆462Updated 3 months ago
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,507Updated last week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆662Updated 5 months ago
• lox-space / lox
  Oxidized Astrodynamics
  ☆349Updated last week
• flux-rs / flux
  Refinement Types for Rust
  ☆796Updated last week
• cetz-package / cetz-plot
  Create Plots and Charts with CeTZ
  ☆217Updated 2 months ago
• jneug / typst-finite
  Typst-setting finite automata with CeTZ.
  ☆128Updated 6 months ago