ekmett/hadoom
A little Doom-like 2.5 game engine
A work-stealing task scheduler
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
A little Doom-like 2.5 game engine
possibly playing with equality saturation
Public repository.
A formalization of category theory in Coq for personal study