A list of awesome lean4 projects. Feel free to add your project.
Quick read
Latest capture 2026-10-17 04:03
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
0 paths
Agent instructions and tool configuration found in this repository.
No config files detected.
138 observed captures since 2026-06-04. Observed captures are shown by default.
Stars from first capture +1
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
ML powered analytics engine for outlier detection and root cause analysis.
💻 Democratizing Snippet Management (macOS/Win/Linux)
Open Quartermaster is an open source inventory management system, designed to be simple to use yet powerful and extendable. The last inventory management system you will ever need!
OpenCompass is an LLM evaluation platform, supporting a wide range of models (Llama3, Mistral, InternLM2,GPT-4,LLaMa2, Qwen,GLM, Claude, etc) over 100+ datasets.
Lean 4 programming language and theorem prover
