leanprover/lean4
Lean 4 programming language and theorem prover
A star delta has been computed for 61,465 of 62,212 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 17:04 and 08:07 (BKK).
Lean 4 programming language and theorem prover
The math library of Lean 4
The Lean Computer Science Library (CSLib)
A project to digitalise results from physics into Lean.
Formally Verified Arguments of Knowledge in Lean
An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics
A 128-bit universal hash function designed for fast file/data stream integrity checks with cryptographic strength, written in Rust.
Benchmarking coding agents on formalized undergraduate research problems
Lean documentation authoring tool
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
That's all 11 repositories in this period.