#science

Pure Rust GeoTIFF codec

Linear Programming for Rust, with a user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.

Efficient and type-stable physical quantities in Julia

Rust bindings for the C++ api of PyTorch.

very fast speech-to-text, diarization, streaming (even in CPU) with NVIDIA Parakeet in Rust

Dependency-free, std-only FITS header reader/writer (parse + CRUD + serialize).

Planning-grade astronomy math for astrophotography tooling

Regression analysis in Rust.

A rust framework to make using alevin-fry even simpler

Search engine

Numerical optimization in Rust, with pluggable linear-algebra backends and WASM support.

A Rust interface to FMUs (Functional Mockup Units) that follow the FMI Standard

[WIP] Molcrafts rust kernel

Elliptic integrals for Rust

high-precision Rust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences, using number-theoretic algorithms and geometry-of-numbers methods.

Big integer types for Rust

Timeseries forecasting in Rust

Telescopes, Workflows and Data Services for the Academic Observatory

Fast no_std Rust library for evolution equations and PDEs via Chernoff approximation of operator semigroups — heat, Schrödinger, diffusion, graph & manifold operators. Bindings for C, Python, and WebAssembly.

Multi-dimensional array library with block-compressed storage and lazy-evaluated operations

Documentation

An Approximate Nearest Neighbors library in Rust, based on random projections and LMDB and optimized for memory usage :boom:

Climate Data Rescue is an archival data rescue platform using Ruby on Rails.

Compiler-grade sequential GPU compute. Workgroup-local stacks, queues, hashmaps, dominator trees, fixed-point dataflow. CUDA + WGPU + SPIR-V with bit-exact conformance gate. Rust.

Kalman filter implementation in Rust

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

El repositorio no publica descripción.

Arbitrage-free SVI volatility surfaces in pure Rust — Raw, Jump-Wings & SSVI parametrisations, quasi-explicit & Levenberg-Marquardt calibration, butterfly & calendar-spread arbitrage checks. All math hand-rolled from primary sources. Zero dependencies. Part of the Regit OS, the operating system for investment products.

Model of propagating blobs in 1D and 2D

Rust tools for SuperDARN DMAP file operations.