Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
GaloisInc
Star
7906
Rank
1663
Go to GitHub
Fetched on 2024/02/21 15:24
483 Repositories
cryptol
1099
HaLVM
1045
crucible
582
saw-script
429
ivory
380
reopt
288
haskell-tor
270
swanky
232
macaw
185
MATE
167
what4
147
HaNS
115
cclyzerpp
105
cereal
78
ec2-unikernel
77
smaccmpilot-build
72
blt
64
parameterized-utils
57
dlkoopman
56
llvm-pretty-bc-parser
54
saw-core
53
minlibc
53
grift
53
ddosflowgen
51
daedalus
51
renovate
45
hacrypto
45
FreeRTOS-Xen
45
yapall
44
tower
42
lean4-balance-car
40
lean-protocol-support
39
jvm-parser
38
halfs
36
flexdis86
36
elf-edit
36
semmc
34
mir-verifier
34
fancy-garbling
33
smaccmpilot-stm32f4
32
pure-zlib
31
helib-demos
31
FiveUI
29
curl
29
lean-llvm
28
json
27
galua
27
estimator
26
BESSPIN
26
xml
25
1
2
3
4
5
…
›