74 Repositories
verdi
573
verdi-raft
177
tensat
104
ruler
102
Cassius
90
herbgrind
89
crust
81
PUMPKIN-PATCH
50
pumpkin-pi
49
Casper
49
szalinski
40
CoqAST
37
oddity
32
cheerios
23
synapse
22
dexter
22
StructTact
21
memsynth
19
rake
18
stng
17
oeuf
17
ferrite
16
reincarnate-aec
13
potpie
13
magic
13
arvo
12
coq-plugin-lib
11
SaltShaker
10
concerto
7
peek
5
incarnate-exploration-archive
5
crimp
5
analytics-data
5
theia
4
iag-synthesis
4
bagpipe
4
scout
3
fix-to-elim
3
coq-change-analytics
3
univalent-rewrites
2
syncro
2
staccato
2
legato
2
VeriCQ
1
seguard-resources
1
PUMPKIN-git
1
pumpkin
1
nightly-conf
1
majortom
1
epics-tools
1