vineethNaroju

distributed-consensus-reading-list

A list of papers about distributed consensus.

raft.tla

TLA+ specification for the Raft consensus algorithm

fpaxos-tlaplus

TLA+ specification of Flexible Paxos

fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

teach-rs

A modular, reusable university course for Rust

distributed-queue

Distributed queue implemented using zookeeper. Uses distributed lock maintained using zookeeper's ephemeral sequential nodes.

distributed-systems-exercises

Four exercises for course Distributed Systems represents client-server lamport clock application, work with cluster nodes, fault-tolerance and framework Spark.

flink-training

Apache Flink Training Excercises

gobreaker

Circuit Breaker implemented in Go

IsoTransact

Serializable Snapshot Isolation implementation in golang for transactions happening on a key value store

jepsen

A framework for distributed systems verification, with fault injection

failpoints

An implementation of failpoints for Java.

flink

Apache Flink

Computer-Science-Papers-For-System-Design

kafka-rest

Confluent REST Proxy for Kafka

Burrow

Kafka Consumer Lag Checking

rBadgerDB

To provide production grade SSD optimised Key Value Store

leetcode_company_wise_questions

This is a repository containing the list of company wise questions available on leetcode premium

flink-at-scale

📚 Tech blogs & talks by companies that run Apache Flink in production

Flink-cep-examples

Apache Flink CEP Simple examples

goomerang

A small communications library based on protocol buffers over websockets

scylladb

NoSQL data store using the seastar framework, compatible with Apache Cassandra

neo4j

Graphs for Everyone

system-design-questions

Problem statements on System Design and Software Architecture as part of Arpit's System Design Masterclass

low-level-design

Resources to learn Low-level System Design and prepare for Low-level design (LLD/Machine Coding) Interviews

evio

Fast event-loop networking for Go

SpacetimeDB

Multiplayer at the speed of light

polars

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

iggy

Iggy is the persistent message streaming platform written in Rust, supporting QUIC, TCP and HTTP transport protocols, capable of processing millions of messages per second.

jiro-nn

A Deep Learning and preprocessing framework in Rust with support for CPU and GPU.