TRVE DATA (@trvedata)
Guthub

trvedata

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    185
  • Global Org. Rank 42,132 (Top 14 %)
  • Registered almost 9 years ago
  • Most used languages
    TeX
         42.9 %
    Java
         28.6 %
    JavaScript
         14.3 %
    Isabelle     14.3 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 5,931
  • Country Ranking
    Isabelle     5
    TeX
         43
    Java
         845
    JavaScript
         3,388

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
25
star
5

key-agreement

Key Agreement for Decentralized Secure Group Messaging with Strong Security Guarantees (Java Prototype)
Java
16
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