513 Repositories
cryptol
1138
HaLVM
1054
crucible
688
saw-script
445
ivory
396
reopt
306
swanky
288
haskell-tor
273
macaw
210
MATE
187
what4
156
cclyzerpp
138
HaNS
115
dlkoopman
90
cereal
79
ec2-unikernel
76
smaccmpilot-build
73
daedalus
66
blt
65
yapall
62
llvm-pretty-bc-parser
60
parameterized-utils
59
minlibc
56
grift
55
saw-core
54
ddosflowgen
50
renovate
47
hacrypto
47
FreeRTOS-Xen
46
lean4-balance-car
44
tower
43
lean-protocol-support
42
jvm-parser
38
halfs
38
flexdis86
37
cryptol-specs
37
semmc
36
mir-verifier
36
elf-edit
36
fancy-garbling
34
smaccmpilot-stm32f4
32
lean-llvm
32
pure-zlib
31
helib-demos
31
curl
30
llvm-pretty
29
FiveUI
29
json
27
galua
27
estimator
27