Repository profile
A list of awesome lean4 projects. Feel free to add your project.
Repository updates
Get generated Agnuxo1/best-of-lean4 development summaries by email, or follow the weekly and monthly RSS feeds.
Sign in to subscribe by email. RSS feeds are public.
Sign in to subscribeTracked growth, recent movement, and commit velocity from stored repository snapshots.
Latest capture 2026-07-20 04:01
50 captures since 2026-06-04
Stars from baseline 0
All tracked data
Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.
Scanned 2026-07-20 04:01
Searchable topics, generated tags, and stack labels that explain where this repository fits.
Agent instructions and tool configuration paths found in the repository tree.
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.
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!
💻 Democratizing Snippet Management (macOS/Win/Linux)
Lean 4 programming language and theorem prover
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.
