ReviewGithub
TLA
repo
techs
stars
weekly
forks
weekly
neondatabase/neon
Rust
Python
C
9.8k
+59
274
0
delta-io/delta-rs
Rust
Python
TLA
1.4k
+14
263
+7
apollographql/router
Rust
TLA
Shell
694
+4
209
+2
cometbft/cometbft
Go
TeX
TLA
356
+3
153
+3
hwayne/lets-prove-leftpad
SystemVerilog
Common Lisp
Isabelle
579
+2
56
0
jepsen-io/jepsen
Clojure
Java
Shell
6.3k
0
702
0
rabbitmq/osiris
Erlang
TLA
Starlark
42
0
10
0
apache/zookeeper
Java
C++
C
11.6k
0
7.1k
0
tlaplus/Examples
TLA
TeX
Other
1.1k
0
199
0
tendermint/tendermint
Go
TeX
TLA
5.6k
0
2.1k
0
mongodb/mongo
C++
JavaScript
Python
24.4k
0
5.6k
0
elastic/elasticsearch-formal-models
Isabelle
TLA
TeX
201
0
25
0
tlaplus/tlaplus
Java
HTML
TLA
2.1k
0
172
0
m3db/m3
Go
Shell
HTML
4.5k
0
444
0
Vanlightly/raft-tlaplus
TLA
50
0
5
0
ElliotSwart/pragmaticformalmodeling
TLA
HTML
SCSS
37
0
2
0
hwayne/learntla-v2
TLA
Python
PowerShell
140
0
34
0
tlaplus-workshops/ewd998
TLA
Shell
41
0
47
0
GerardoGran/gemini-tla-verification
TLA
Shell
R
2
0
2
0
kevinsullivan/TLAPlusDocker
Dockerfile
TLA
8
0
10
0
input-output-hk/cardano-shell
Haskell
TLA
Nix
30
0
13
0
Vanlightly/vsr-tlaplus
TLA
26
0
0
0
skarupke/two_bit_mutex
TLA
C++
21
0
1
0
anoma/typhon
TLA
Rust
21
0
2
0
ongardie/raft.tla
TLA
387
0
68
0
Next >
Popular technologies
Other
14036 reps
JavaScript
13149 reps
Shell
12706 reps
HTML
10537 reps
Python
10146 reps
CSS
8042 reps
Makefile
5964 reps
C
5497 reps
TypeScript
5321 reps
C++
4895 reps
Dockerfile
4517 reps
Java
3259 reps
SCSS
2867 reps
Ruby
2700 reps
Go
2548 reps
CMake
2309 reps
C#
2291 reps
Jupyter Notebook
1928 reps
Batchfile
1832 reps
Rust
1790 reps
PHP
1708 reps
PowerShell
1684 reps
Lua
1577 reps
Swift
1544 reps
Vue
1536 reps
Popular topics
hacktoberfest
2564 reps
python
1350 reps
javascript
1263 reps
android
886 reps
typescript
803 reps
rust
772 reps
machine-learning
758 reps
docker
746 reps
react
701 reps
java
694 reps
golang
689 reps
linux
681 reps
deep-learning
663 reps
kubernetes
659 reps
ios
599 reps
windows
595 reps
chatgpt
583 reps
security
566 reps
go
542 reps
php
537 reps
vue
499 reps
macos
499 reps
flutter
489 reps
neovim
487 reps
nodejs
468 reps
Review Github
collects stats from github repositories on a daily basis.
56,651
Repositories indexed ·
Code solutions