Repository profile
alaskahoffman / leandoom
(Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.
LeanView on GitHub
Repository overview
Public GitHub metrics and OpenPulse observationsGitHub stars19
Public forks2
Growth · 24h+0 stars
Growth · 7d+0 stars
Growth · 30d+19 stars
Star activity
Last 7 days16 Oct4 observed days · gaps preserved19 Oct
Observed star growth
Samples or dated GitHub history
24h
+0 stars
Measured from observations
18 Oct 2026 → 19 Oct 2026
7d
+0 stars
GitHub history · as of 2026-10-17
11 Oct 2026 → 18 Oct 2026
30d
+19 stars
GitHub history · as of 2026-10-17
03 Oct 2026 → 18 Oct 2026