"lean4" Awesome Lists
best-of-lean4
A list of awesome lean4 projects. Feel free to add your project.
101 stars
4 forks
36 projects
Last updated: 18 Sep 2025
Search
Keywords
awesome-list
3,691
awesome
3,352
awesome-lists
472
machine-learning
427
list
406
deep-learning
364
resources
311
hacktoberfest
232
ai
214
python
208
lists
200
javascript
188
llm
167
security
163
programming
161
artificial-intelligence
144
computer-vision
135
blockchain
127
nlp
113
tools
109
open-source
108
data-science
107
large-language-models
104
react
103
chatgpt
95
android
89
natural-language-processing
85
linux
82
learning
81
css
79
awesome-readme
76
curated-list
76
papers
76
devops
74
ios
74
ethereum
73
awesome-resources
71
reinforcement-learning
69
cybersecurity
63
nodejs
62
computer-science
62
playground
60
rust
59
game-development
58
free-resources
58
robotics
58
design
57
collection
57
free
57
kubernetes
57
getvm
57
tutorials
57
macos
57
java
54
privacy
53
tutorial
52
golang
52
web
50
openai
49
survey
49
hacking
49
frontend
49
bitcoin
49
labex
48
datasets
48
hands-on
48
paper
48
go
47
swift
45
education
44
books
44
exercises
44
php
44
development
43
web3
43
deep-neural-networks
43
dataset
43
llms
43
html
43
cloud
43
gpt
42
data
42
github
42
security-tools
41
cryptocurrency
41
typescript
40
vue
39
data-visualization
39
developer-tools
39
gamedev
38
opensource
38
documentation
37
collections
36
docker
36
ml
35
database
35
generative-ai
34
research
34
software
34
neural-network
33
reactjs
33
aws
33
iot
33
courses
33
web-development
33
paper-list
33
testing
32
automation
32
framework
32
game
31
graph-neural-networks
30
community
29
video
29
diffusion-models
29
ruby
29
solidity
29
algorithms
29
hardware
29
cpp
29
projects
29
productivity
28
architecture
28
transformer
28
flutter
28
libraries
28
games
28
dotnet
27
api
27
bioinformatics
27
links
27
agent
27
smart-contracts
27
tensorflow
27
react-native
26
csharp
26
crypto
26
windows
26
multimodal
26
software-engineering
25
defi
25
computer-graphics
25
angular
25
music
25
science
24
microsoft
24
pentesting
24
self-supervised-learning
24
penetration-testing
24
git
24
slam
24
pytorch
24
django
24
free-tutorials
24
object-detection
24
mcp
24
embedded
23
r
23
unity
23
awsome-list
23
markdown
23
osint
23
serverless
23
cryptography
23
library
23
engineering
23
coding
23
neural-networks
22
best-practices
22
gpt-4
22
data-analysis
22
game-engine
22
ui
22
self-hosted
22
mobile
22
python3
22
infosec
22
roadmap
22
startups
21
mathematics
21
sql
21
apple
21
segmentation
21
cli
21
prompt-engineering
21
gpt-3
21
knowledge-graph
21
hacktoberfest-accepted
21
kotlin
21
audio
21
ai-agents
21
awesomeness
21
blog
21
visualization
21
opendata
21
azure
20
learning-resources
20
programming-language
20
c
20
apps
20
website
20
youtube
20
blogs
20
mlops
20
awsome
20
federated-learning
20
chinese
20
guidelines
20
cloud-computing
20
interview
20
deeplearning
20
jobs
20
data-mining
20
statistics
19
marketing
19
js
19
graph
19
time-series
19
saas
19
chatbot
19
raspberry-pi
19
llama
18
machinelearning
18
reverse-engineering
18
bugbounty
18
reasoning
18
3d
18
graphql
18
bash
18
startup
18
nextjs
18
curated
18
front-end
18
foundation-models
18
autonomous-driving
18
agents
17
algorithm
17
cheatsheet
17
ai-tools
17
aigc
17
stable-diffusion
17
software-development
17
backend
17
containers
17
decentralized
17
representation-learning
17
optimization
17
code
17
generative-art
17
language
17
image-processing
17
knowledge
17
seo
16
webgl
16
networking
16
nerf
16
big-data
16
data-structures
16
articles
16
transformers
16
cms
16
cloud-native
16
bert
16
microservices
16
analytics
16
resource
15
monitoring
15
ros
15
readme
15
detection
15
pentest
15
autonomous-vehicles
15
open-data
15
animation
15
foss
15
dart
15
technology
15
graphics
15
icons
15
telegram
14
selfhosted
14
oss
14
finance
14
mysql
14
multimodal-deep-learning
14
node
14
p2p
14
devsecops
14
vuejs
14
deepseek
14
search
14
terminal
14
prompt
14
data-engineering
14
language-model
14
large-language-model
14
android-library
14
android-development
14
performance
14
diffusion
14
art
14
webassembly
14
mac
14
distributed-systems
14
recommender-system
14
unicorns
14
react-components
14
videos
14
frameworks
13
quantum-computing
13
speech-recognition
13
text-to-image
13
fuzzing
13
deep-reinforcement-learning
13
awesome-ai
13
evm
13
podcast
13
microservice
13
dotnet-core
13
malware-analysis
13
code-generation
13
webdevelopment
13
wordpress
13
swiftui
13
plugins
13
transfer-learning
13
search-engine
13
gis
13
pose-estimation
13
generative-adversarial-network
13
remote-sensing
13
laravel
13
vscode
13
command-line
13
npm
12
multimodal-learning
12
font
12
sustainability
12
gan
12
static-analysis
12
wasm
12
static-site-generator
12
mcp-server
12
elasticsearch
12
multimodal-large-language-models
12
cross-platform
12
storage
12
guide
12
gaming
12
rag
12
chain-of-thought
12
pwa
12
dapp
12
image
12
anomaly-detection
12
discord
12
agentic-ai
12
svelte
12
image-generation
12
video-generation
12
postgresql
12
es6
12
leetcode
12
graphics-programming
12
rails
12
open-science
11
cuda
11
hacktoberfest2020
11
benchmark
11
rest-api
11
article
11
few-shot-learning
11
infrastructure-as-code
11
book
11
ecommerce
11
threat-intelligence
11
ui-design
11
automl
11
point-cloud
11
front-end-development
11
webpack
11
mllm
11
objective-c
11
interview-questions
11
planning
11
cvpr
11
programming-languages
11
ux
11
generative-model
11
developer
11
3d-graphics
11
application
11
google
11
climate-change
11
vision-and-language
11
vibe-coding
11
sysadmin
11
creative-coding
11
course
11
webapp
11
yolo
11
question-answering
11
free-software
11
beginner-friendly
11
unity3d
11
design-systems
11
ctf
11
vlm
11
embodied-ai
11
social-network
10
claude
10
haskell
10
fpga
10
semantic-web
10
machine-learning-algorithms
10
ansible
10
interpretability
10
movies
10
speech-processing
10
students
10
3d-reconstruction
10
webdesign
10
arduino
10
podcasts
10
edge-computing
10
ide
10
cv
10
android-app
10
hacktoberfest2021
10
model-compression
10
android-application
10
augmented-reality
10
cyber-security
10
geospatial
10
docs
10
authentication
10
neuroscience
10
explainable-ai
10
utilities
10
flutter-apps
10
hacking-tools
10
unsupervised-learning
10
templates
10
hosting
10
solana
10
reading-list
10
datascience
10
workflow
10
vision-language-model
10
vr
10
chatgpt-api
10
bug-bounty
10
gpts
10
malware
10
system-design
10
medical-imaging
10
functional-programming
10
deepseek-r1
10
text-mining
10
bookmarks
10
bot
10
golang-library
10
databases
10
operating-system
10
in-context-learning
10
management
10
rl
10
time-series-analysis
10
writing
10
network
10
compiler
9
test-automation
9
cicd
9
anime
9
alternatives
9
tool
9
fairness
9
software-architecture
9
semantic-segmentation
9
gpu
9
microservices-architecture
9
blogging
9
privacy-tools
9
politics
9
exploit
9
blockchain-technology
9
chrome
9
langchain
9
trading
9
llmops
9
prompts
9
conference
9
linux-desktop
9
reddit
9
knowledge-base
9
simulation
9
flask
9
mobile-development
9
elixir
9
indonesia
9
math
9