ReviewGithub
Lean
repo
techs
stars
weekly
forks
weekly
leanprover/lean4
Lean
C++
CMake
2.8k
+30
247
+6
leanprover-community/mathlib4
Lean
Python
Shell
336
+12
135
+5
leanprover-community/mathlib
Lean
Other
1.6k
+4
301
0
leanprover-community/lean-liquid
Lean
Other
134
+2
10
0
leanprover/lean4-samples
Lean
CSS
JavaScript
61
+2
18
0
avigad/lean-auto
Lean
SMT
3
+2
0
0
openai/miniF2F
Objective-C++
Isabelle
Lean
206
+1
39
0
IPDSnelting/tba-2022
Lean
13
+1
2
0
yatima-inc/yatima-lang
Lean
70
+1
5
+1
leanprover/std4
Lean
118
+1
42
+1
yatima-inc/yatima
Lean
70
+1
5
+1
gebner/quote4
Lean
Makefile
52
+1
7
0
jjdishere/EG
Lean
TeX
5
+1
42
+9
input-output-hk/cardano-wallet
Haskell
Markdown
Ruby
726
0
227
0
ImperialCollegeLondon/formalising-mathematics-2022
Lean
113
0
27
0
openai/lean-gym
Lean
Shell
119
0
31
0
leanprover-community/tutorials
Lean
Python
179
0
64
0
igithublab/MT1300
Lean
Shell
65
0
93
0
arthurpaulino/lean4-metaprogramming-book
Lean
Python
144
0
31
0
Faris999/indonesian-mo-formalization
Lean
2
0
2
0
zhangir-azerbayev/lean-chat
Lean
Python
48
0
5
0
yatima-inc/straume
Lean
5
0
1
0
leanprover-community/lftcm2020
Lean
TeX
Python
63
0
78
0
ImperialCollegeLondon/natural_number_game
Lean
HTML
Other
277
0
72
0
plfa/plfl
Lean
13
0
4
0
Next >
Popular technologies
Other
14058 reps
JavaScript
13175 reps
Shell
12728 reps
HTML
10553 reps
Python
10162 reps
CSS
8059 reps
Makefile
5973 reps
C
5504 reps
TypeScript
5334 reps
C++
4903 reps
Dockerfile
4521 reps
Java
3264 reps
SCSS
2873 reps
Ruby
2706 reps
Go
2552 reps
CMake
2311 reps
C#
2295 reps
Jupyter Notebook
1929 reps
Batchfile
1835 reps
Rust
1798 reps
PHP
1711 reps
PowerShell
1688 reps
Lua
1577 reps
Swift
1547 reps
Vue
1538 reps
Popular topics
hacktoberfest
2579 reps
python
1353 reps
javascript
1263 reps
android
887 reps
typescript
804 reps
rust
776 reps
machine-learning
758 reps
docker
746 reps
react
702 reps
java
695 reps
golang
689 reps
linux
682 reps
deep-learning
663 reps
kubernetes
659 reps
ios
601 reps
windows
596 reps
chatgpt
583 reps
security
566 reps
go
542 reps
php
537 reps
vue
499 reps
macos
499 reps
flutter
490 reps
neovim
487 reps
nodejs
468 reps
Review Github
collects stats from github repositories on a daily basis.
56,730
Repositories indexed ·
Code solutions