leanprover/lean4
Lean 4 programming language and theorem prover
This period is measured from GitHub’s rebuilt star history — one point per week — because our own daily snapshots do not reach this far back yet. Period boundaries can be off by up to half a week; the repository page prints the real start date for each period. So far the history has been fetched for 12,569 of 63,709 tracked repositories, and only those can be ranked in this period.
Star counts measured between 09:48 and 17:22 (BKK).
Lean 4 programming language and theorem prover
The math library of Lean 4
A 128-bit universal hash function designed for fast file/data stream integrity checks with cryptographic strength, written in Rust.
That's all 3 repositories in this period.