Andrey Satarin's repositories

testing-distributed-systems

Curated list of resources on testing distributed systems

Language:HTMLLicense:CC-BY-4.0Stargazers:2388Issues:91Issues:2

awesome-distributed-systems

A curated list to learn about distributed systems

distributed-systems-references

A collection of papers that was referenced at the end of Jonas Bonér's The Road to Akka Cluster and Beyond ... talk.

License:CC-BY-4.0Stargazers:1Issues:2Issues:0

asatarin.github.io

Personal website

Language:HTMLLicense:CC-BY-4.0Stargazers:1Issues:3Issues:0

caspaxos

A Go implementation of the CASPaxos protocol

Language:GoLicense:Apache-2.0Stargazers:1Issues:2Issues:0

databaseology

Collection of Papers On Database Management Systems

db-readings

Readings in Databases

YOW2016

References for YOW2016

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

CraftConf2015

This repo contains the reference materials to my Craft Conf 2015 talk

Stargazers:0Issues:2Issues:0

CS-Literature-of-the-Day

A curated list of computer science literature, updated daily.

Stargazers:0Issues:2Issues:0

distsysbook

The book Distributed systems: for fun and profit

Language:HTMLStargazers:0Issues:2Issues:0

elle

Black-box transactional safety checker based on cycle detection

Language:IsabelleLicense:EPL-2.0Stargazers:0Issues:2Issues:0
Language:JavaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

jepsen-talks

Slides and resources for talks on partition tolerance

Language:ClojureStargazers:0Issues:2Issues:0

linux-insides

A little bit about a linux kernel

Stargazers:0Issues:2Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Stargazers:0Issues:2Issues:0

post-mortems

A collection of postmortems. Pull requests welcome!

Stargazers:0Issues:3Issues:0

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Language:TLALicense:NOASSERTIONStargazers:0Issues:1Issues:0

PyHamcrest

Hamcrest matchers for Python

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

reading-notes

repository #1

Stargazers:0Issues:1Issues:0

RICON2014

This repo contains the reference materials to my RICON 2014 talk

Stargazers:0Issues:2Issues:0

StrangeLoop2013

Strange Loop 2013

Language:GoStargazers:0Issues:2Issues:0

StrangeLoop2014

Strange Loop 2014 archives

Language:PrologStargazers:0Issues:2Issues:0
Language:CSSStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

TheVerificationOfDistributedSystem

Accompanying Repository for The Verification of a Distributed System Talk

Stargazers:0Issues:2Issues:0

verdi

A framework for formally verifying distributed systems implementations in Coq

Language:CoqLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

ydb

YDB server (daemon) source code

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0