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
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — ept - Overview

@ept ept Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
@ept
ept
Follow
View ept's full-sized avatar

Martin Kleppmann ept

Follow
Distributed systems + security protocols researcher at University of Cambridge; author of Designing Data-Intensive Applications; formerly Rapportive/LinkedIn
6.7k followers · 9 following
  • University of Cambridge
  • Cambridge, UK
  • https://martin.kleppmann.com/
  • https://orcid.org/0000-0001-7252-6958
  • @[email protected]
  • @martin.kleppmann.com

Sponsoring

@jart
@dmonad

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx4Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruckx4Achievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@rapportive-oss @flowquery @octokey @inkandswitch @trvedata @automerge @coln-project @trust-infra
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring

Pinned Loading

  1. automerge/automerge-classic automerge/automerge-classic Public

    A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

    JavaScript 14.7k 460

  2. hermitage hermitage Public

    What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

    2.8k 196

  3. ddia-references ddia-references Public

    Literature references for “Designing Data-Intensive Applications”

    7.3k 905

  4. trvedata/crdt-isabelle trvedata/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

  5. trvedata/opsets trvedata/opsets Public

    Isabelle 14 1

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

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.