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
  ☆638Updated last week
• tracel-ai / cubecl
  Multi-platform high-performance compute language extension for Rust.
  ☆1,445Updated this week
• typst / pdf-writer
  A step-by-step PDF writer.
  ☆547Updated last month
• typst / comemo
  Incremental computation through constrained memoization.
  ☆508Updated 6 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! ✈️ 🚀 ⚕️ 🏦
  ☆909Updated this week
• sarah-quinones / faer-rs
  Linear algebra foundation for the Rust programming language
  ☆2,206Updated 2 weeks ago
• p-e-w / savage
  A primitive computer algebra system
  ☆578Updated 2 years ago
• mitex-rs / mitex
  LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/
  ☆390Updated 4 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆642Updated last week
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆623Updated this week
• 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,104Updated this week
• typst / hayagriva
  Rusty bibliography management.
  ☆435Updated this week
• wdanilo / crabtime
  ☆1,524Updated last week
• davidlattimore / wild
  A very fast linker for Linux
  ☆2,053Updated this week
• cetz-package / cetz
  CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
  ☆1,232Updated this week
• ogxd / gxhash
  Unsafely fast hashing algorithm 📈
  ☆902Updated 3 weeks ago
• Leedehai / typst-physics
  physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.
  ☆448Updated 2 months ago
• Axect / Peroxide
  Rust numeric library with high performance and friendly syntax
  ☆615Updated 3 weeks ago
• argmin-rs / argmin
  Numerical optimization in pure Rust
  ☆1,105Updated 3 weeks ago
• s-arash / ascent
  Logic programming in Rust
  ☆466Updated last week
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,812Updated this week
• pishleback / Algebraeon
  Algorithms in computational algebra written in rust
  ☆53Updated this week
• typst / packages
  Packages for Typst.
  ☆680Updated this week
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆644Updated last week
• HKalbasi / zngur
  A C++/Rust interop tool
  ☆291Updated this week
• godzie44 / BugStalker
  Rust debugger for Linux x86-64
  ☆1,067Updated last week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,260Updated this week
• winnow-rs / winnow
  Making parsing a breeze
  ☆730Updated last week
• nvzqz / divan
  Fast and simple benchmarking for Rust projects
  ☆1,141Updated last month
• typst / biblatex
  A Rust crate for parsing and writing BibTeX and BibLaTeX files.
  ☆147Updated 7 months ago