GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • trvedata
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — TRVE DATA

Popular repositories Loading

  1. crdt-isabelle crdt-isabelle Public

    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 Programmi…

    TeX 78 8

  2. move-op move-op Public

    TeX 37 1

  3. trvesync trvesync Public

    Sandbox for playing around with CRDTs

    JavaScript 31 1

  4. trvedb trvedb Public

    Java 26 5

  5. key-agreement key-agreement Public

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

    Java 25 3

  6. opsets opsets Public

    Isabelle 14 1

Repositories

Loading
Type
Language
Sort
Showing 8 of 8 repositories
  • crdt-isabelle Public

    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.

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/crdt-isabelle's past year of commit activity
    TeX 78 Apache-2.0 8 0 0 Updated Dec 18, 2022
  • move-op Public

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/move-op's past year of commit activity
    TeX 37 1 0 0 Updated Oct 18, 2021
  • key-agreement Public

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

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/key-agreement's past year of commit activity
    Java 25 MIT 3 0 0 Updated May 19, 2021
  • opsets Public

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/opsets's past year of commit activity
    Isabelle 14 1 0 0 Updated Apr 3, 2019
  • trvesync Public

    Sandbox for playing around with CRDTs

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/trvesync's past year of commit activity
    JavaScript 31 Apache-2.0 1 0 0 Updated Sep 6, 2017
  • json-crdt-tpds Public

    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.

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/json-crdt-tpds's past year of commit activity
    TeX 12 2 0 0 Updated Aug 15, 2017
  • trvedb-client Public

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/trvedb-client's past year of commit activity
    2 1 0 0 Updated May 4, 2017
  • trvedb Public

    Uh oh!

    There was an error while loading. Please reload this page.

     trvedata/trvedb's past year of commit activity
    Java 26 Apache-2.0 5 0 0 Updated Jul 7, 2016

People
@ept

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.