Mathematics
rug
1.29.0 StableArbitrary-precision integers, rational, floating-point and complex numbers based on GMP, MPFR and MPC.
good_lp
1.15.0 StableMixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
rust_decimal
1.41.0 StableDecimal number implementation written in pure Rust suitable for financial and fixed-precision calculations.
simsimd
6.5.16 StablePortable mixed-precision BLAS-like vector math library for x86 and ARM
gmp-mpfr-sys
1.7.0 StableRust FFI bindings for GMP, MPFR and MPC.
fixed
1.31.0 StableFixed-point numbers.
snarkvm
4.6.0 StableA decentralized virtual machine
numerated
1.10.0 StableA library for working with intervals and sets of numerated values
ecolor
0.34.1 GrowingColor structs and color conversion utilities
spade
2.15.1 StableDelaunay triangulations for the rust ecosystem
bnum
0.14.4 GrowingFixed-size integer types with generic signedness, bit width and overflow behaviour.
lambert_w
2.0.1 StableFast and accurate evaluation of the Lambert W function by the method of T. Fukushima.
emath
0.34.1 GrowingMinimal 2D math library for GUI work
snarkvm-synthesizer-snark
4.6.0 StableSNARK wrappers for a decentralized virtual machine
snarkvm-utilities
4.6.0 StableUtilities for a decentralized virtual machine
ort-sys
2.0.0-rc.12 StableUnsafe Rust bindings for ONNX Runtime 1.24 - Optimize and Accelerate Machine Learning Inferencing
lin_alg
1.4.1 StableVector, matrix, and quaternion operations for general purposes
ruint
1.17.2 StableUnsigned integer type with const-generic bit length
snarkvm-circuit
4.6.0 StableCircuits for a decentralized virtual machine
snarkvm-ledger-narwhal
4.6.0 StableData structures for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-curves
4.6.0 StableCurves for a decentralized virtual machine
snarkvm-fields
4.6.0 StableFields for a decentralized virtual machine
ort
2.0.0-rc.12 StableA safe Rust wrapper for ONNX Runtime 1.24 - Optimize and accelerate machine learning inference & training
crypto-bigint
0.7.3 GrowingPure Rust implementation of a big integer library which has been designed from the ground-up for use in cryptographic applications. Provides constant-time, no_std-friendly implementations of modern formulas using const generics.
snarkvm-ledger-narwhal-batch-certificate
4.6.0 StableA batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-narwhal-transmission-id
4.6.0 StableA transmission ID for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-authority
4.6.0 StableData structures for a block authority in a decentralized virtual machine
snarkvm-ledger-narwhal-batch-header
4.6.0 StableA batch header for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-narwhal-transmission
4.6.0 StableA transmission for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-puzzle
4.6.0 StablePuzzle for a decentralized virtual machine
feldera-fxp
0.275.0 ExperimentalFixed-point decimal with fixed precision and scale
snarkvm-wasm
4.6.0 StableWASM for a decentralized virtual machine
snarkvm-ledger-committee
4.6.0 StableA committee for a decentralized virtual machine
snarkvm-synthesizer
4.6.0 StableSynthesizer for a decentralized virtual machine
snarkvm-ledger-narwhal-subdag
4.6.0 StableA subdag for a Narwhal-style memory pool in a decentralized virtual machine
snarkvm-ledger-narwhal-data
4.6.0 StableA batch certificate for a Narwhal-style memory pool in a decentralized virtual machine
biodivine-lib-bdd
0.6.3 GrowingA simple thread-safe implementation of basic binary decision diagrams.
snarkvm-algorithms
4.6.0 StableAlgorithms for a decentralized virtual machine
snarkvm-synthesizer-process
4.6.0 StableA process for a decentralized virtual machine
snarkvm-algorithms-cuda
4.6.0 StableCuda optimizations for a decentralized virtual machine
snarkvm-synthesizer-program
4.6.0 StableProgram for a decentralized virtual machine
snarkvm-utilities-derives
4.6.0 StableCanonical serialization for a decentralized virtual machine
pathfinder-crypto
0.22.0 GrowingCryptographic primitives used by Pathfinder
calc_rational
3.0.0 StableCLI calculator for rational numbers.
bevy_heavy
0.4.0 GrowingMass property computation for Bevy's geometric primitives.
starknet-types-core
1.0.0 StableCore types representation for Starknet
cubecl
0.9.0 GrowingMulti-platform high-performance compute language extension for Rust.
ruvector-mincut
2.0.6 ExperimentalWorld's first subpolynomial dynamic min-cut: self-healing networks, AI optimization, real-time graph analysis
qsv-stats
0.48.0 GrowingComputing summary statistics on streams.
snarkvm-ledger-puzzle-epoch
4.6.0 StableEpoch puzzle for a decentralized virtual machine