computational-geometry

verified-3d-mesh-intersection

Lean

73

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

tau-0-vla

Python

82

This repo is the official implementation of "τ0-VLA: a Hierarchical Robot Foundation Model with World-Model-Guided Test-Time Computation".

opentax-engine

JavaScript

77

The deterministic tax engine for AI agents. Highest score ever recorded on TaxCalcBench (96% exact returns)

pytorch

Python

90

Tensors and Dynamic neural networks in Python with strong GPU acceleration

apex-inference-chip

Python

68

An inference chip design that runs a real LLM (Qwen2.5-0.5B) on FPGA — one transformer decoder layer in RTL, every silicon value bit-exact against a golden model. 0.56 tok/s measured, a 140× climb, full evidence trail.