lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
- Stars
- 852
- Forks
- 122
- Language
- Python
- License
- MIT
- Last commit
- updated Jan 2026
Straight from GitHub
Nobody has written up this repo. Everything on this page comes straight from the GitHub API, so there is no founder write-up, no pros and cons, and no difficulty rating — rather than a generated guess at them.
Maintenance
Last push was 292 days before the stats read (as of Nov 6, 2026).
Licence
MIT
Tech stack
Primary language: Python. GitHub reports only the dominant language, so this is not the whole stack.
Install
No install command has been verified for this repo. Follow the README rather than a guess.
Quality score
Computed by the discovery import when this entry was added.
- Recent activity×0.30
- 0.40
How recently the default branch was pushed to.
- Adoption×0.20
- 0.62
Stars on a log scale, so adoption counts without dominating.
- Description and topics×0.15
- 1.00
Whether the repo describes itself: description, topics, homepage.
- README present×0.15
- 1.00
Whether the repository has a README at all.
- Licence clarity×0.10
- 1.00
Whether GitHub can resolve the licence to a recognised SPDX id.
- Issue health×0.10
- 1.00
Open issues relative to adoption, as a rough maintenance signal.
Similar repos
Same category, ranked by shared topics.
Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.
168.6k starsPythonApache-2.0updated Nov 2026AI & MLMemory layer for AI Agents. Replace complex RAG pipelines with a serverless, single-file memory layer. Give your agents instant retrieval and long-term memory.
17.4k starsRustApache-2.0updated Jul 2026AI & MLSwap GPT for any LLM by changing a single line of code. Xinference lets you run open-source, speech, and multimodal models on cloud, on-prem, or your laptop — all through one unified, production-ready inference API.
9.6k starsPythonApache-2.0updated Nov 2026AI & MLAccessible large language models via k-bit quantization for PyTorch.
8.5k starsPythonMITupdated Nov 2026AI & ML
Stats updated Nov 6, 2026. Stars, forks, issue counts, and dates are a snapshot read from the GitHub REST API, not a live figure. This site makes no requests to GitHub when you load a page.