Pinned Repositories
1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
asatarin
asatarin.github.io
Personal website
awesome-distributed-systems
A curated list to learn about distributed systems
caspaxos
A Go implementation of the CASPaxos protocol
databaseology
Collection of Papers On Database Management Systems
db-readings
Readings in Databases
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.
testing-distributed-systems
Curated list of resources on testing distributed systems
YOW2016
References for YOW2016
asatarin's Repositories
asatarin/testing-distributed-systems
Curated list of resources on testing distributed systems
asatarin/awesome-distributed-systems
A curated list to learn about distributed systems
asatarin/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.
asatarin/asatarin
asatarin/asatarin.github.io
Personal website
asatarin/caspaxos
A Go implementation of the CASPaxos protocol
asatarin/databaseology
Collection of Papers On Database Management Systems
asatarin/db-readings
Readings in Databases
asatarin/YOW2016
References for YOW2016
asatarin/1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
asatarin/CraftConf2015
This repo contains the reference materials to my Craft Conf 2015 talk
asatarin/CS-Literature-of-the-Day
A curated list of computer science literature, updated daily.
asatarin/distsysbook
The book Distributed systems: for fun and profit
asatarin/elle
Black-box transactional safety checker based on cycle detection
asatarin/JCTools
asatarin/jepsen-talks
Slides and resources for talks on partition tolerance
asatarin/linux-insides
A little bit about a linux kernel
asatarin/papers-we-love
Papers from the computer science community to read and discuss.
asatarin/post-mortems
A collection of postmortems. Pull requests welcome!
asatarin/practical-tla-plus
Source Code for 'Practical TLA+' by Hillel Wayne
asatarin/PyHamcrest
Hamcrest matchers for Python
asatarin/reading-notes
repository #1
asatarin/RICON2014
This repo contains the reference materials to my RICON 2014 talk
asatarin/StrangeLoop2013
Strange Loop 2013
asatarin/StrangeLoop2014
Strange Loop 2014 archives
asatarin/StrangeLoop2015
asatarin/test-pages
asatarin/TheVerificationOfDistributedSystem
Accompanying Repository for The Verification of a Distributed System Talk
asatarin/verdi
A framework for formally verifying distributed systems implementations in Coq
asatarin/ydb
YDB server (daemon) source code