Stars
Lean certificates accompanying proofs in mathematics and theoretical computer science
You like pytorch? You like micrograd? You love tinygrad! ❤️
OpenCode mobile client via Telegram: run and monitor AI coding tasks from your phone while everything runs locally on your machine. Scheduled tasks support.
Dr.Jit — A Just-In-Time-Compiler for Differentiable Rendering (core library)
Source code for the applications presented in the course "Geometry Processing with Discrete Exterior Calculus"
Code for MIRA: Multiplayer Interactive World Models with Representation Autoencoders
Generate hands-on, multi-part technical tutorials on demand, with LLM skills tuned to make content approachable. Then you work through them yourself, by hand ✋
LYGIA, it's a granular and multi-language (GLSL, HLSL, Metal, WGSL, WEGL and CUDA) shader library designed for performance and flexibility
Real-time YOLOv8n UAV detection on the RK3588S NPU | saturates the sensor at 46 FPS | ~140 MB RAM | fully hardware-accelerated (ISP+RGA+NPU) | on-device LLM scene summaries
ORB-SLAM3: An Accurate Open-Source Library for Visual, Visual-Inertial and Multi-Map SLAM
[CVPR'25 Oral] MoGe: Unlocking Accurate Monocular Geometry Estimation for Open-Domain Images with Optimal Training Supervision
MapAnything: Universal Feed-Forward Metric 3D Reconstruction
Resources for porting games and engines to Apple platforms
NTSC encoding/decoding in C89 using only integers and fixed point math. Supports NES decoding. Can be used as an image filter for games or real-time applications.
Dynamic Symbolic (Concolic) Debugger for MLIR
My playground project for exploring and experimenting with SDL GPU APIs
Amnezia VPN Client (Desktop+Mobile)