Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

best-of-lean4

A list of awesome lean4 projects. Feel free to add your project.
https://github.com/34j/best-of-lean4

Last synced: 13 days ago
JSON representation

  • Packages

  • Core packages

    • GitHub - 30% open · ⏱️ 16.03.2025):
    • GitHub - 53% open · ⏱️ 16.03.2025):
    • GitHub - 33% open · ⏱️ 30.01.2025):
    • GitHub - 33% open · ⏱️ 12.03.2025):
    • GitHub - 23% open · ⏱️ 03.03.2025):
    • GitHub - 59% open · ⏱️ 03.03.2025):

  • Games

    • GitHub - 35% open · ⏱️ 14.03.2025):

  • Other awesome lists

  • Cheatsheets

  • Tutorials

    • GitHub - 42% open · ⏱️ 28.02.2025):
    • GitHub - 74% open · ⏱️ 14.10.2024):
    • GitHub
    • GitHub - 65% open · ⏱️ 09.12.2024):
    • GitHub - 35% open · ⏱️ 06.02.2024):

  • Samples

  • Packages (Meta)

    • GitHub - 58% open · ⏱️ 03.03.2025):

  • Tools

    • GitHub - 21% open · ⏱️ 11.03.2025):
    • GitHub - 25% open · ⏱️ 04.03.2025):
    • GitHub - 5% open · ⏱️ 10.03.2025):
    • GitHub - 29% open · ⏱️ 19.02.2025):
    • GitHub - 17% open · ⏱️ 12.03.2025):
    • GitHub - 25% open · ⏱️ 15.01.2025):
    • **Best-of lists** - of lists with awesome open-source projects on all kinds of topics.

  • Contribution

    • best-of-generator - of list, we recommend to follow [this guide](https://github.com/best-of-lists/best-of/blob/main/create-best-of-list.md).
Programming Languages
Lean 13 TypeScript 4 HTML 3 Python 2 JavaScript 2 Vue 1 C++ 1 Roff 1 TeX 1 CSS 1
Categories
Tools 6 Packages 6 Core packages 6 Tutorials 5 Cheatsheets 5 Samples 2 Related Resources 1 Games 1 License 1 Contribution 1 Packages (Meta) 1 Other awesome lists 1
Sub Categories
Keywords
lean4 21 lean 8 machine-learning 2 theorem-proving 2 formal-mathematics 2 interactive-theorem-proving 1 formal-verification 1 convex-optimization 1 visualization 1 matrices 1 zola 1 organization-page 1 juice 1 react 1 smt 1 symbolic-computation 1 scientific-computing 1 numerical-methods 1 vscode 1 llm-inference 1 mathematics 1 metaprogramming 1 proof-tree 1 awesome 1 awesome-list 1 best-of 1 best-of-list 1 conda 1 librariesio 1 markdown 1 markdown-generator 1 npm 1 pypi 1