symbolica-dev / symbolicaLinks
A modern computer algebra library for Python and Rust.
☆715Updated this 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,430Updated this week
- Incremental computation through constrained memoization.☆561Updated 2 weeks ago
- A primitive computer algebra system☆586Updated 2 years ago
- Rust port of Spice, a low-overhead parallelization library☆695Updated 7 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆1,021Updated this week
- Algorithms in computational algebra written in rust☆80Updated last week
- An IDE extension for debugging trait errors in Rust.☆301Updated 3 months ago
- Multi-platform high-performance compute language extension for Rust.☆1,837Updated this week
- A step-by-step PDF writer.☆646Updated last month
- Test and benchmark suite for sort implementations.☆510Updated 3 months ago
- Rust numeric library with high performance and friendly syntax☆658Updated 4 months ago
- A PDF interpreter and renderer in pure Rust.☆500Updated this week
- Rust Scientific Libary. ODE and DAE (Runge-Kutta) solvers. Special functions (Bessel, Elliptic, Beta, Gamma, Erf). Linear algebra. Sparse…☆174Updated this week
- Demo project showing a single Rust codebase running on CPU and directly on GPUs☆463Updated 4 months ago
- Numerical optimization in pure Rust☆1,206Updated last month
- Oxidized Astrodynamics☆353Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆361Updated 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…☆402Updated last month
- An Extensible Compiler IR Framework☆228Updated this week
- Rusty bibliography management.☆567Updated last month
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆666Updated 6 months ago
- A high-performance, "quantum-inspired" Fast Fourier Transform (FFT) library written in pure and safe Rust.☆242Updated last week
- A C++/Rust interop tool☆409Updated this week
- An arbitrary-precision arithmetic library for Rust.☆535Updated this week
- physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.☆531Updated 2 weeks ago
- Compiler front-end foundation technology.☆478Updated last month
- A Rust library to create interactive mathematical animations☆143Updated 9 months ago
- ☆1,655Updated 2 months ago
- Unsafely fast hashing algorithm 📈☆979Updated 7 months ago
- A Rust crate that provides hard-to-misuse rigid body transforms (aka "spatial math") for engineers with other things to worry about than …☆423Updated 3 weeks ago