Other / unclassified
math
openai/math
A public collection of 721 mathematical manuscripts and Lean proof artifacts produced by an internal OpenAI model, released as raw research data with reasoning summaries and formalization records for the math community.
Related projects
linux255kThe Linux kernel source tree: the core of Linux operating systems that manages hardware and system resources. It is aimed at kernel developers, maintainers, researchers and distribution builders rather than end users.
FreeDomain207.4kA community project offering free domain registration plus hands-on guides from DNS setup to deployment.
rust121.7kThe main source repository for the Rust programming language, containing the compiler, standard library, and documentation that power its ecosystem.
RuView103.3kA WiFi-sensing platform using ESP32 nodes for presence, vitals, and spatial awareness.
apollo-1176.5kThe original Apollo 11 Guidance Computer source code for the command and lunar modules, digitized from MIT Museum printouts and preserved for study.
normalize.css53.5kA modern alternative to CSS resets