computational-geometry

verified-3d-mesh-intersection

Lean

68

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

82

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

pytorch

Python

85

Tensors and Dynamic neural networks in Python with strong GPU acceleration