Performance "Streams" are traces or collections of events or other messages, used for CPU performance simulation and analysis.

A terminal UI for understanding performance event streams

Verified Rust for low-level systems code

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Differentiable implicit CAD in the browser: edit via GUI or code, solve constraints, render with WebGPU raymarching, optimize shapes end-to-end.

an automatic math notetaker

Some ideas for generating a standardized instrument communcation environment in Rust.

Open-Source Framework for Numerically-Tailored Computations This project is "An Open-Source Framework for Efficient Numerically-Tailored Computations", hence the acronym OSFNTC. The title of the co…

A datetime library for Rust that encourages you to jump into the pit of success.

A free, open source, and extensible speech-to-text application that works completely offline.

SingularFlow extends JAX with singular integration as well as correct derivative implementations. We provide some applications including to solving singular integral equations using physically-info…

A heap allocator for embedded systems

Open-source deep-learning framework for building, training, and fine-tuning deep learning models using state-of-the-art Physics-ML methods

Open-source deep-learning framework for building, training, and fine-tuning deep learning models using state-of-the-art Physics-ML methods

Linear algebra library for Rust.

Lightning-fast magnetic fields calculations

Pure Rust complex Bessel functions (ACM TOMS 644)

Retrieve system's Network Interfaces on Linux, macOS and Windows on a standardized manner

A Claude or Codex skill for deliberate skill development during AI-assisted coding

Safe, portable, high performance compute (GPGPU) kernels.

Rust bindings for the Python interpreter

A cross-platform, safe, pure-Rust graphics API.

A query engine for any combination of data sources. Query your files and APIs as if they were databases!

Various materials about Profile Guided Optimization and other similar stuff like AutoFDO, Bolt, etc.

Quasi-steady electromagnetics including filamentized approximations, Biot-Savart, and Grad-Shafranov.

Crunchy unroller - deterministically unroll constant loops

Free books by Rue, hopefully many more to come.