Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
- autodiff
- deep-learning
- machine-learning
- rust
Repository Index
76,855 visible repositories in the index
1–13 of 13 · Most stars
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
- rust
- numerics
- scientific-computing
- rust-sci
a terminal weather app with ascii animation
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Linear algebra foundation for the Rust programming language
- linear-algebra
- matrix
- rust
Apache Mahout - an environment for quickly creating scalable, performant machine learning applications.
- apache-mahout
- cuda
- python
- rust
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification
Rust library for quantitative finance.
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
- embedded-optimization
- nonconvex
- model-predictive-control
- rust-library
A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- cae
- cfd
- computational-mechanics
- explicit-dynamics
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
A handy calculator, based on Rust and WebAssembly.
- webassembly
- calculator
- math
- rust