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.
  ☆529Updated last week
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆661Updated 3 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! ✈️ 🚀 ⚕️ 🏦
  ☆959Updated last week
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,274Updated 3 months ago
• p-e-w / savage
  A primitive computer algebra system
  ☆586Updated 2 years ago
• typst / hayagriva
  Rusty bibliography management.
  ☆482Updated this week
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆73Updated this week
• mitex-rs / mitex
  LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/
  ☆430Updated 6 months ago
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆585Updated this week
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,615Updated this week
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆478Updated last month
• LegNeato / rust-gpu-chimera
  Demo project showing a single Rust codebase running on CPU and directly on GPUs
  ☆394Updated this week
• lox-space / lox
  Oxidized Astrodynamics
  ☆331Updated 3 weeks ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆723Updated last week
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆649Updated 2 weeks ago
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆466Updated last week
• s-arash / ascent
  Logic programming in Rust
  ☆477Updated 3 months ago
• cetz-package / cetz-plot
  Create Plots and Charts with CeTZ
  ☆193Updated last month
• lilaq-project / lilaq
  Advanced data visualization with Typst.
  ☆384Updated this week
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,155Updated 3 weeks ago
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆326Updated this week
• typst / biblatex
  A Rust crate for parsing and writing BibTeX and BibLaTeX files.
  ☆153Updated 2 months ago
• wdanilo / crabtime
  ☆1,602Updated 3 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆652Updated last month
• mtantaoui / Integrate
  a small, lightweight crate for numerical integration written in Rust.
  ☆108Updated 2 weeks ago
• Dherse / codly
  A Typst package for even better code blocks
  ☆242Updated last week
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,354Updated this week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆186Updated last week
• QuState / PhastFT
  A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.
  ☆222Updated 11 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…
  ☆352Updated 2 weeks ago