01Visual ReasoningImplementation
Astronomy Toolkit
Build an offline astrometry pipeline that blind-solves FITS images against Gaia DR3, registers overlapping observations, and writes sky mosaics.
34 tasks across five categories. The original V1 task set lives at /v1.
Build an offline astrometry pipeline that blind-solves FITS images against Gaia DR3, registers overlapping observations, and writes sky mosaics.
Implement a crash-proof NOR flash filesystem in Zig, down to the exact on-disk byte layout.
Implement the Dart code formatter in Haskell, byte-exact against its test corpus in both short and tall styles.
Reverse-engineer a parametric motion-design system: reproduce an animated fitness-recap video (frames and soundtrack) exactly, for any input.
Rebuild a deterministic flight-sim renderer from scratch (physics, cameras, lighting, and effects) until its frames match the reference pixel for pixel.
Reimplement git in Zig from its own behavioural test suite: no C source, no real git to lean on.
Implement the Lean 4 kernel's type checker in Free Pascal, deciding real Mathlib-scale exports without ever certifying a proof of False.
Build an ahead-of-time Lua 5.4 compiler in Go that emits standalone native ELF binaries for three CPU architectures.
Build a PostgreSQL 18 wire-compatible server in Zig on SQLite storage, indistinguishable to real PostgreSQL clients.
Reimplement Quantum ESPRESSO's plane-wave DFT engine (the pw.x SCF core) from scratch in Rust, numerically faithful to the real thing.
Build a SPICE circuit simulator in Rust (BSIM3-SOI plus the classic Berkeley device set) that matches ngspice's numbers across seven analysis types.
Clone a Game Boy Advance music tracker from black-box probes alone: pixel-exact screens and sample-exact PSG audio.
Implement a Verilog-2005 simulator in Swift, graded head-to-head against live Icarus Verilog on ~1,500 regression designs.
Port Wan 2.1 text-to-video inference from PyTorch to Modular's MAX/Mojo stack, matching reference frames pixel by pixel.