C++ implementation of Raft core logic as a replication library
Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks
A high-performance distributed shared-log for Ceph
Running the very core of SKL network, SKALE BFT consensus is universal, modern, modular, high-performance, asynchronous, provably-secure, agent-based Proof-of-Stake blockchain consensus engine in C++ 17. Includes provably secure embedded Oracle. Used by SKALE elastic blockchains. Easy and flexible enough to implement your own blockchain or smart…
This repository contains Leetcode Challenge Submissions.
Distributed Simple Nosql Store
Striver SDE sheet DSA CheatSheet
This repository will contain all the "Top Interview Questions" & "Top 100 liked Questions" on Leetcode and all the InterviewBit Solutions.
Masters Thesis - Instituto Superior Técnico
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.
FlowDB is a distributed, transactional key-value store that provides high performance, scalability, fault tolerance, and consistency. It supports various programming languages and platforms, enables asynchronous, actor-based programming, manages cluster deployment and configuration, and provides documentation and testing.
This repository contains my solutions to various GeeksforGeeks DSA problems. The solutions are organized by the level of difficulty
Add a description, image, and links to the consistency topic page so that developers can more easily learn about it.
To associate your repository with the consistency topic, visit your repo's landing page and select "manage topics."