Lists (31)
Azure
27 repositories
Collections
61 repositories
Data Science
122 repositories
Data Vis
5 repositories
Database
7 repositories
DB
1 repository
Devops
115 repositories
Finance
GBL
8 repositories
Interesting
652 repositories
K8s
20 repositories
LLM
359 repositories
Low Level
2 repositories
LTI
4 repositories
MacOS
19 repositories
MCP
20 repositories
MLOps
16 repositories
Mobile
1 repository
🚀 My stack
128 repositories
Office 265
1 repository
Performance
4 repositories
PKM
4 repositories
Power Platform
6 repositories
Security
21 repositories
Self-Hosted
77 repositories
Templates
9 repositories
Testing
3 repositories
Virtual Desktop
1 repository
Web Components
9 repositories
Web Dev
92 repositories
Windows
1 repository
Starred repositories
1
result
for source starred repositories
written in Lean
Clear filter
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.