TRVE DATA (@trvedata)
Guthub

trvedata

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    185
  • Global Org. Rank 41,546 (Top 14 %)
  • Registered over 8 years ago
  • Most used languages
    TeX
         42.9 %
    Java
         28.6 %
    Isabelle     14.3 %
    JavaScript
         14.3 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 5,931
  • Country Ranking
    Isabelle     5
    TeX
         39
    Java
         843
    JavaScript
         3,297

Top repositories

1

crdt-isabelle

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
TeX
67
star
2

trvesync

Sandbox for playing around with CRDTs
JavaScript
30
star
3

trvedb

Java
25
star
4

move-op

TeX
24
star
5

key-agreement

Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)
Java
15
star
6

opsets

Isabelle
12
star
7

json-crdt-tpds

LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2017.
TeX
11
star
8

trvedb-client

1
star