benruijl / symbolicaLinks
A modern computer algebra library for Python and Rust.
☆645Updated last week
Alternatives and similar repositories for symbolica
Users that are interested in symbolica are comparing it to the libraries listed below
Sorting:
- Linear algebra foundation for the Rust programming language☆2,363Updated 2 weeks ago
- A primitive computer algebra system☆584Updated 2 years ago
- Incremental computation through constrained memoization.☆540Updated 2 months ago
- Multi-platform high-performance compute language extension for Rust.☆1,711Updated last week
- Rust port of Spice, a low-overhead parallelization library☆681Updated 5 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆982Updated 3 weeks ago
- A step-by-step PDF writer.☆613Updated last week
- Rust numeric library with high performance and friendly syntax☆651Updated 2 months ago
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆444Updated 2 months ago
- Numerical optimization in pure Rust☆1,168Updated this week
- Algorithms in computational algebra written in rust☆75Updated this week
- physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.☆503Updated 2 weeks ago
- Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solve…☆377Updated 2 months ago
- An IDE extension for debugging trait errors in Rust.☆275Updated 3 weeks ago
- Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…☆172Updated this week
- A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.☆228Updated last week
- Oxidized Astrodynamics☆344Updated this week
- Rusty bibliography management.☆510Updated 2 weeks ago
- a small, lightweight crate for numerical integration written in Rust.☆109Updated 2 months ago
- Test and benchmark suite for sort implementations.☆500Updated last month
- Logic programming in Rust☆507Updated last week
- ☆1,614Updated 5 months ago
- LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/☆448Updated 8 months ago
- A C++/Rust interop tool☆388Updated 2 weeks ago
- Core POSIX command line utilities in safe Rust☆395Updated 3 months ago
- A Rust library to create interactive mathematical animations☆126Updated 7 months ago
- Safe rust wrapper around CUDA toolkit☆932Updated last month
- Typst package for drawing diagrams with arrows, built on top of CeTZ.☆783Updated 2 weeks ago
- Compiler front-end foundation technology.☆473Updated 2 months ago
- A high-level, ergonomic Rust library for creating PDF documents.☆208Updated this week