Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Lean Open Source Projects
Open source projects categorized as Lean
Categories
>
Lean
Edit Category
coolsnowwolf/lede
⭐
28,084
Lean's LEDE source
dependent packages
0
total releases
0
most recent commit
over 2 years ago
AssemblyScript/assemblyscript
⭐
16,204
A TypeScript-like language for WebAssembly.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
QuantConnect/Lean
⭐
8,372
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
dependent packages
0
total releases
0
most recent commit
over 2 years ago
kenzok8/openwrt-packages
⭐
5,783
openwrt常用软件包
dependent packages
0
total releases
0
most recent commit
over 2 years ago
P3TERX/Actions-OpenWrt
⭐
5,025
A template for building OpenWrt with GitHub Actions | 使用 GitHub Actions 云编译 OpenWrt
dependent packages
0
total releases
0
most recent commit
over 4 years ago
Leantime/leantime
⭐
3,807
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
jerrykuku/luci-theme-argon
⭐
3,500
Argon is a clean and tidy OpenWrt LuCI theme that allows users to customize their login interface with images or videos. It also supports automatic and manual switching between light and dark modes.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
leanprover/lean4
⭐
3,443
Lean 4 programming language and theorem prover
dependent packages
0
total releases
0
most recent commit
over 2 years ago
liuchengxu/space-vim
⭐
2,861
:four_leaf_clover: Lean & mean spacemacs-ish Vim distribution
dependent packages
0
total releases
0
most recent commit
about 3 years ago
open-hand/choerodon
⭐
2,360
Open Source Multi-Cloud Integrated Platform
dependent packages
0
total releases
0
most recent commit
over 2 years ago
Get A Weekly Email With Trending Lean Projects
No Spam. Unsubscribe easily at any time.
Lean
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
