Lists (1)
Stars
Official repository for “Shared Geometry As A Rosetta Stone: Cross-Modal Alignment Without Paired Data”
Copper tasks wrapping kornia-slam stereo visual-inertial odometry
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard topology
A highly robust and accurate LiDAR-only, LiDAR-inertial odometry
Real-time sensor drivers in Rust — RTSP/NVMM cameras and OAK-D stereo + IMU — emitting kornia images ready for inference.
End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.
Real-time neural-vision libraries for NVIDIA Jetson Orin — Rust + TensorRT inference with GPU pre/post-processing.
An image retrieval model for any localization task
The Kalibr visual-inertial calibration toolbox
Real-time visual-inertial SLAM in Rust, built on kornia-rs.
Terminal UI toolkit for agentic and chat apps, built on rich + prompt_toolkit.
Official collection of standalone bubbaloop nodes for distributed Physical AI orchestration
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
P(R*_{3, 0, 1}) specialized SIMD Geometric Algebra Library
cuTile Rust provides a safe, tile-based kernel programming DSL for the Rust programming language. It features a safe host-side API for passing tensors to asynchronously executed kernel functions.
Minimal solvers for calibrated camera pose estimation
AI agents running research on single-GPU nanochat training automatically
A curated survey and paper list for global solvers in 3D vision: certifiable optimization, convex relaxation, Branch-and-Bound, and robust estimation.
A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.
Open-source Hardware AI agent. Single Rust binary for cameras, sensors, robots, and IoT fleets — orchestrated by AI agents with memory and real-time telemetry. Runs on Jetson, Raspberry Pi, any Linux.