PROGRAMMING LANGUAGE
Lean
GitHub repositories whose primary language is Lean with AI relevance score ≥ 40 — LLMs, agents, chatbots, RAG and more, tracked monthly.
0
AI repos
0
solo dev
0
with tool sigs
0
top 0 stars
No repos
RELATED Other languages · full languages ranking →
Python
863TypeScript
489JavaScript
273HTML
175Shell
93Jupyter Notebook
57Rust
51Go
50Java
24Aggregated by GitHub-detected primary_language; AI relevance ≥ 40 only. methodology