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
  ☆577Updated last year
• dragostis / chili
  Rust port of Spice, a low-overhead parallelization library
  ☆632Updated this week
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,303Updated this week
• typst / comemo
  Incremental computation through constrained memoization.
  ☆498Updated 5 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! ✈️ 🚀 ⚕️ 🏦
  ☆899Updated this week
• typst / hayagriva
  Rusty bibliography management.
  ☆424Updated this week
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆610Updated last week
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,176Updated this week
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆442Updated last month
• mitex-rs / mitex
  LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/
  ☆385Updated 3 months ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆597Updated last week
• Voultapher / sort-research-rs
  Test and benchmark suite for sort implementations.
  ☆387Updated 2 months ago
• s-arash / ascent
  Logic programming in Rust
  ☆463Updated last month
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆636Updated last year
• Taaitaaiger / jlrs
  Julia bindings for Rust
  ☆452Updated last week
• ibraheemdev / papaya
  A fast and ergonomic concurrent hashmap for read-heavy workloads.
  ☆708Updated last month
• flux-rs / flux
  Refinement Types for Rust
  ☆723Updated this week
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,187Updated this week
• rosefromthedead / effing-mad
  Algebraic effects for Rust
  ☆610Updated 9 months ago
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,249Updated this week
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,098Updated last week
• wdanilo / crabtime
  ☆1,492Updated 3 weeks ago
• rustcoreutils / posixutils-rs
  Core POSIX command line utilities in safe Rust
  ☆374Updated 2 weeks ago
• Eliah-Lakhin / lady-deirdre
  Compiler front-end foundation technology.
  ☆451Updated last month
• willothy / whirlwind
  🌀 Ridiculously fast, fully asynchronous, sharded hashmap for Rust.
  ☆493Updated 3 months ago
• Myriad-Dreamin / typst.ts
  Run Typst in JavaScriptWorld.
  ☆593Updated this week
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆538Updated 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…
  ☆322Updated 3 weeks ago
• RyanWelly / lisp-in-rs-macros
  A Lisp interpreter written fully in rust macros.
  ☆276Updated 7 months ago
• lox-space / lox
  Oxidized Astrodynamics
  ☆305Updated 3 weeks ago