Cells sort themselves under perturbation, while local moves, waiting rules, and obstacles shape the order that emerges.

Lean proof searches rerun with one tactic removed, testing which routes to a theorem remain available.

Artificial-life experiments in which Lenia bodies form, persist, and respond to change, with a map of the shapes they can take.

Jolt simulations in which materials update a local memory, compared against memory-free and damping-only controls.

Julia implementation of the BITSEY reaction-diffusion controller as composed Poly-style systems.

Canonical SPECTER design language specification and multi-target token generation.

Sub-10KB offline decision procedure for equational implication over magmas, distilled from the 4694-law implication graph.

Compare search policies within the same problem space, horizon, and cost units.

Typst template suite for Specter field manuals and public papers.

Lean-native extractor for deterministic theorem-item JSONL used in Wonton Soup corpus workflows.

Offline training and reranking over exported Wonton Soup run traces.

WASM-first `egui` component library for research dashboards.

Algebraic, round-trippable representations of Lean proof-state tactics.

History-mined benchmark harness for reproducible tinygrad contribution tasks.

Benchmark harness for scoring and verifying Lean `sorry` tactic proposals.

Deterministic ingestion pipeline for SorryDB-compatible snapshots and benchmark indexes.