Pinned Loading

1. leanx leanx Public

   TorchLean: Formalizing Neural Networks in Lean 4 — IBP, CROWN, α,β-CROWN verification framework

   Lean 47 4

2. attention-residuals attention-residuals Public

   PyTorch implementation of Attention Residuals (arXiv:2603.15031) - replacing fixed residual connections with learned depth-wise attention in Transformers

   Python 5 1

3. paper-2026-03-25-realmaster-lifting-rendered-scenes-into-photoreali paper-2026-03-25-realmaster-lifting-rendered-scenes-into-photoreali Public

   RealMaster: Lifting rendered scenes into photorealistic video via IC-LoRA (unofficial, arXiv:2603.23462)

   Python 3

4. f4splat f4splat Public

   PyTorch implementation of F4Splat: Feed-Forward Predictive Densification for Feed-Forward 3D Gaussian Splatting (arXiv:2603.21304)

   Python 7

5. zigpp zigpp Public

   Zig++: research-stage frontend compiler that lowers .zpp source (Zig + traits, RAII, ownership markers, effect annotations) into plain .zig

   Zig 3

6. pi pi Public

   Rust port of earendil-works/pi — coding agent harness (pi-ai + pi-agent + pi CLI)

   Rust 17 6