Building the primitive layer for production AI systems, and the engine that renders mathematics.
&
Creating meaningful visual and auditory representations of math for the world to enjoy.
A mathematical rendering engine for Rust.
The engine does not render graphics. It renders mathematics. Particles follow real differential equations. Damage hits spawn gravitational force fields. Entities are glyph clusters held together by physics that disintegrate as they take damage.
cargo add proof-engine
Core systems: Instanced glyph rendering · 30+ MathFunction variants with RK4 attractors · 18+ force field types · Amorphous entities with HP-linked cohesion · Navier-Stokes fluid simulation · SPH particles · Soft body with tearing · Rigid body with 8 constraint types · Node-based shader graph (40+ nodes) compiling to GLSL at runtime · Deferred rendering with G-buffer · Cook-Torrance PBR with cascaded shadow maps and IBL · GPU compute pipeline · 32-voice polyphonic synthesizer · Procedural music engine (15 scales, chord progressions, melody generation) · FFT from scratch · Behavior trees + GOAP planner · A* + NavMesh + steering behaviors · Terrain with hydraulic erosion and climate simulation · Weather system · Economy system · Full scripting language (lexer → parser → AST → compiler → stack VM) · Multiplayer with rollback netcode and lag compensation · ECS · Editor tools · Save system with compression · Replay recording · Localization (10 languages)
A roguelike where every outcome runs through a chain of real mathematical functions. 108,000+ lines of Rust. 4 frontends. Runs on Proof Engine.
Available on itch.io → mattbusel.itch.io/chaos-rpg
12 classes · 12 unique bosses · 820+ node passive tree · 181 achievements · 8 crafting operations · Nemesis system · Misery Index · Daily seed leaderboard · Procedural audio · Run narratives · Full lore system
Combined: 370,000+ lines of Rust. A game and the engine it runs on. Both solo.
rust-crates — 10 production libraries, all used inside tokio-prompt-orchestrator:
Special-Relativity-in-Financial-Modeling — Lorentz transforms on OHLCV data. VR=1.27×, Bartlett p=6×10⁻¹⁶. DOI: 10.5281/zenodo.18639919
LLMTokenStreamQuantEngine — C++ engine mapping LLM token semantics to real-time trade signals at sub-second resolution.
15 DOI-indexed papers on Zenodo under Oxidized Archive. Active DARPA ERIS submission. Google Scholar indexed. Academia.edu top 8.1% in Symbolic Computation.
Rust / C++ / Python / Tokio / OpenGL / WebAssembly / CRDT / MCP
New York · linkedin.com/in/matthewbusel · mattbusel@gmail.com · medium.com/@mattbusel



