ReviewGithub
Lean
repo
techs
stars
weekly
forks
weekly
leanprover/lean4
Lean
C++
CMake
2.2k
+14
206
+2
leanprover-community/mathlib
Lean
Other
1.5k
+1
285
+1
input-output-hk/cardano-wallet
Haskell
Ruby
Markdown
696
0
220
0
ImperialCollegeLondon/formalising-mathematics-2022
Lean
105
0
25
0
openai/lean-gym
Lean
Shell
98
0
22
0
openai/miniF2F
Objective-C++
Isabelle
Lean
183
0
34
0
leanprover-community/lean-liquid
Lean
Other
116
0
10
0
leanprover-community/tutorials
Lean
Python
163
0
58
0
igithublab/MT1300
Lean
Shell
63
0
90
0
IPDSnelting/tba-2022
Lean
8
0
2
0
arthurpaulino/lean4-metaprogramming-book
Lean
Python
99
0
23
0
leanprover-community/mathlib4
Lean
Other
175
0
72
0
yatima-inc/yatima-lang
Lean
49
0
2
0
Faris999/indonesian-mo-formalization
Lean
2
0
2
0
zhangir-azerbayev/lean-chat
Lean
Python
42
0
5
0
yatima-inc/straume
Lean
5
0
1
0
leanprover-community/lftcm2020
Lean
TeX
Python
59
0
76
0
ImperialCollegeLondon/natural_number_game
Lean
HTML
Other
257
0
69
0
plfa/plfl
Lean
9
0
4
0
leanprover/lean4-samples
Lean
CSS
JavaScript
30
0
9
0
AndrasKovacs/smalltt
Lean
Idris
Agda
436
0
23
0
BartoszPiotrowski/lean-premise-selection
Lean
TypeScript
Shell
10
0
0
0
leanprover/std4
Lean
65
0
26
0
PatrickMassot/lean-verbose
Lean
50
0
1
0
brendanzab/language-garden
OCaml
Nix
Lean
101
0
2
0
Next >
Popular technologies
Other
10390 reps
JavaScript
9655 reps
Shell
9586 reps
HTML
7868 reps
Python
7320 reps
CSS
5696 reps
Makefile
4521 reps
C
4214 reps
C++
3731 reps
TypeScript
3621 reps
Dockerfile
3174 reps
Java
2533 reps
SCSS
2180 reps
Ruby
2102 reps
Go
2015 reps
CMake
1795 reps
C#
1721 reps
PHP
1336 reps
Jupyter Notebook
1319 reps
Batchfile
1313 reps
Rust
1292 reps
PowerShell
1267 reps
Lua
1214 reps
Swift
1171 reps
Vue
1137 reps
Popular topics
hacktoberfest
2298 reps
python
1089 reps
javascript
1032 reps
android
704 reps
docker
601 reps
machine-learning
597 reps
rust
590 reps
typescript
583 reps
golang
551 reps
java
547 reps
react
542 reps
deep-learning
535 reps
kubernetes
534 reps
linux
533 reps
ios
496 reps
security
455 reps
php
449 reps
go
446 reps
windows
444 reps
macos
408 reps
vue
405 reps
flutter
391 reps
neovim
390 reps
css
368 reps
nodejs
357 reps
Review Github
collects stats from github repositories on a daily basis.
42564
Repositories indexed ·
Github Archive
·
Code solutions