Stats¶

Live project metrics, straight from the codebase — nothing on this page is hand-typed. Bookmark it: no login, and it reads fine on a phone.

Warning

Live numbers weren't available for this build.

As of commit unknown. Regenerated by tools/generate_wiki.py via tools/stats_charts.py — run make stats to refresh.