best-of-lean4

🏆  A ranked list of awesome projects. Updated weekly.

This curated list contains 24 awesome open-source projects with a total of 0 stars grouped into 11 categories. All projects are ranked by a project-quality score, which is calculated based on various metrics automatically collected from GitHub and different package managers. If you like to add or update projects, feel free to open an issue, submit a pull request, or directly edit the projects.yaml. Contributions are very welcome!

🧙‍♂️ Discover other best-of lists or create your own.

Contents

• Cheatsheets 7 projects
• Tutorials 6 projects
• Samples 0 projects
• Packages (Meta) 0 projects
• Packages 1 projects
• Core packages 0 projects
• Games 1 projects
• Community 2 projects
• Tools 2 projects
• Other awesome lists 3 projects
• Movies 2 projects

Explanation

• 🥇🥈🥉  Combined project-quality score
• ⭐️  Star count from GitHub
• 🐣  New project (less than 6 months old)
• 💤  Inactive project (6 months no activity)
• 💀  Dead project (12 months no activity)
• 📈📉  Project is trending up or down
• ➕  Project was recently added
• ❗️  Warning (e.g. missing/risky license)
• 👨‍💻  Contributors count from GitHub
• 🔀  Fork count from GitHub
• 📋  Issue count from GitHub
• ⏱️  Last update timestamp on package manager
• 📥  Download count from package manager
• 📦  Number of dependent projects

Cheatsheets

Quick reference with short text

Tutorials

Tutorials with long text

```
git clone https://github.com/hrmacbeth/math2001
```

Samples

Actual Lean 4 code for learning purposes

Packages (Meta)

Reusable Lean 4 code for enhancing usability

Packages

Reusable Lean 4 code (theorems, etc.)

Core packages

Core Lean 4 code

Games

Lean 4 Games

Community

Community

Tools

Tools not made in Lean 4

```
git clone https://github.com/leanprover/reservoir
```

Other awesome lists

Movies

Related Resources

• Best-of lists: Discover other best-of lists with awesome open-source projects on all kinds of topics.

Contribution

Contributions are encouraged and always welcome! If you like to add or update projects, choose one of the following ways:

• Open an issue by selecting one of the provided categories from the issue page and fill in the requested information.
• Modify the projects.yaml with your additions or changes, and submit a pull request. This can also be done directly via the Github UI.

If you like to contribute to or share suggestions regarding the project metadata collection or markdown generation, please refer to the best-of-generator repository. If you like to create your own best-of list, we recommend to follow this guide.

For more information on how to add or update projects, please read the contribution guidelines. By participating in this project, you agree to abide by its Code of Conduct.

License