Languages
Developers
Countries
Repos
Topics
Repos by trvedata
trvedata
/ repos
8 repos
«
1
»
Repo
Language
Stars
Rank
crdt-isabelle
TeX
70
1,500
trvesync
JavaScript
30
127,614
trvedb
Java
25
66,542
move-op
TeX
25
3,685
key-agreement
Java
16
89,871
opsets
Isabelle
12
39
json-crdt-tpds
TeX
11
7,233
trvedb-client
unknown
1
2,404,420