Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

best-of-lean4

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

Last synced: 2 days ago
JSON representation

  • Cheatsheets

  • Other awesome lists

  • Tutorials

    • GitHub - 43% open · ⏱️ 05.11.2024):
    • GitHub - 69% open · ⏱️ 14.10.2024):
    • GitHub
    • GitHub - 52% open · ⏱️ 09.12.2024):
    • GitHub - 35% open · ⏱️ 06.02.2024):

  • Samples

  • Packages (Meta)

    • GitHub - 62% open · ⏱️ 12.12.2024):

  • Packages

  • Core packages

    • GitHub - 30% open · ⏱️ 19.12.2024):
    • GitHub - 55% open · ⏱️ 19.12.2024):
    • GitHub - 33% open · ⏱️ 11.12.2024):
    • GitHub - 32% open · ⏱️ 12.12.2024):
    • GitHub - 27% open · ⏱️ 19.12.2024):
    • GitHub - 59% open · ⏱️ 02.12.2024):

  • Games

    • GitHub - 32% open · ⏱️ 10.12.2024):

  • Tools

    • GitHub - 21% open · ⏱️ 18.12.2024):
    • GitHub - 24% open · ⏱️ 04.11.2024):
    • GitHub - 6% open · ⏱️ 08.12.2024):
    • GitHub - 32% open · ⏱️ 13.11.2024):
    • GitHub - 21% open · ⏱️ 24.11.2024):
    • GitHub - 24% open · ⏱️ 19.10.2024):
    • **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 Rust 1 Roff 1 TeX 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 formal-mathematics 2 machine-learning 2 theorem-proving 2 react 1 interactive-theorem-proving 1 formal-verification 1 convex-optimization 1 smt 1 symbolic-computation 1 scientific-computing 1 numerical-methods 1 visualization 1 matrices 1 zola 1 organization-page 1 juice 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