ReviewGithub
Coq
repo
techs
stars
weekly
forks
weekly
coq/coq
OCaml
Coq
TeX
4.1k
+3
598
+2
nvdla/hw
Verilog
C++
C
1.4k
+1
511
+1
dspinellis/unix-history-repo
Assembly
Coq
Limbo
6.1k
0
427
0
coq-community/coq-ext-lib
Coq
Other
118
0
42
0
math-comp/math-comp
Coq
OCaml
Makefile
471
0
99
0
HoTT/book
TeX
Python
Coq
1.9k
0
358
0
GaloisInc/saw-script
Haskell
Coq
Python
409
0
63
0
robbertkrebbers/compcert
Coq
C
OCaml
21
0
3
0
MetaCoq/metacoq
Coq
OCaml
Makefile
277
0
68
0
imdea-software/htt
Coq
Makefile
58
0
6
0
tchajed/coq-record-update
Coq
Makefile
sed
37
0
13
0
coq-community/reglang
Coq
JavaScript
CSS
31
0
5
0
QuickChick/QuickChick
Coq
OCaml
Other
227
0
40
0
tlringer/proof-demos
Coq
38
0
1
0
uds-psl/coq-library-undecidability
Coq
Other
93
0
22
0
snu-sf/paco
Coq
Python
Other
34
0
11
0
coq-community/lemma-overloading
Coq
JavaScript
CSS
26
0
7
0
coq-community/hoare-tut
Coq
Makefile
15
0
2
0
coq-community/topology
Coq
Makefile
40
0
9
0
PrincetonUniversity/VST
Coq
C
OCaml
369
0
85
0
magmide/magmide
Coq
OCaml
Rust
752
0
11
0
nikhilg2121/fpga-blockchain
Verilog
Coq
0
0
12
0
mit-plv/fiat-crypto
Coq
Assembly
Python
549
0
146
0
coq-tactician/coq-tactician
OCaml
Coq
Other
41
0
7
0
melange-re/melange
OCaml
C
PostScript
459
0
36
0
Next >
Popular technologies
Other
10430 reps
JavaScript
9695 reps
Shell
9610 reps
HTML
7892 reps
Python
7355 reps
CSS
5722 reps
Makefile
4536 reps
C
4228 reps
C++
3739 reps
TypeScript
3644 reps
Dockerfile
3195 reps
Java
2544 reps
SCSS
2184 reps
Ruby
2108 reps
Go
2020 reps
CMake
1797 reps
C#
1730 reps
PHP
1338 reps
Jupyter Notebook
1329 reps
Batchfile
1318 reps
Rust
1301 reps
PowerShell
1274 reps
Lua
1218 reps
Swift
1176 reps
Vue
1142 reps
Popular topics
hacktoberfest
2300 reps
python
1092 reps
javascript
1033 reps
android
704 reps
docker
602 reps
machine-learning
597 reps
rust
592 reps
typescript
586 reps
golang
552 reps
java
547 reps
react
543 reps
kubernetes
535 reps
deep-learning
535 reps
linux
533 reps
ios
497 reps
security
457 reps
php
450 reps
go
447 reps
windows
444 reps
macos
408 reps
vue
407 reps
neovim
393 reps
flutter
391 reps
css
368 reps
nodejs
357 reps
Review Github
collects stats from github repositories on a daily basis.
42801
Repositories indexed ·
Github Archive
·
Code solutions