Alternatives and similar repositories for PQ

Users that are interested in PQ are comparing it to the libraries listed below

• NicolasLM / bplustree
  An on-disk B+tree for Python 3
  ☆768Updated 6 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆494Updated 5 months ago
• pingcap / tla-plus
  ☆299Updated last year
• bft-smart / library
  BFT-SMaRt's project home page
  ☆450Updated 2 months ago
• binghe / HOL-CCS
  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
  ☆7Updated 3 years ago
• chenshuo / tcpipv2
  Unofficial companion site of TCP/IP Illustrated volume 2
  ☆26Updated 4 years ago
• alibaba / code-data-share-for-python
  ☆43Updated last year
• Deathhush / HushDB
  HushDB is an experimental relational database. It aims to have an extensible design so that different parts, like optimizer and storage e…
  ☆87Updated 9 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆186Updated 11 months ago
• microsoft / rDSN
  Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed s…
  ☆965Updated last year
• vmxdev / tkvdb
  Trie key-value database
  ☆339Updated 3 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆130Updated 8 years ago
• CorfuDB / CorfuDB
  A cluster consistency platform
  ☆653Updated 2 weeks ago
• google / asylo
  An open and flexible framework for developing enclave applications
  ☆977Updated 3 years ago
• tonyo / pyope
  Implementation of Boldyreva's symmetric order-preserving encryption in Python
  ☆100Updated 2 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆838Updated 3 years ago
• eBay / Jungle
  An embedded key-value store library specialized for building state machine and log store
  ☆233Updated last month
• krareT / terichdb
  TerichDB, an open source data store based on terark engine
  ☆374Updated 7 years ago
• uwdb / Cosette
  Cosette is an automated SQL solver.
  ☆677Updated 7 months ago
• krareT / terark-wiki-zh_cn
  Terark Wiki 中文版
  ☆17Updated 6 years ago
• boazbk / crypto
  Lecture notes for a course on cryptography
  ☆537Updated last year
• Hexiaoqiao / ClassicPapers
  Papers about Distributed System
  ☆45Updated 5 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆247Updated 2 months ago
• ronsavage / SQL
  BNF Grammars for SQL-92, SQL-99 and SQL-2003
  ☆386Updated 3 years ago
• vmware / concord-bft
  Concord byzantine fault tolerant state machine replication library
  ☆382Updated last year
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆407Updated last month
• cryptograph / stealthdb
  StealthDB: an encrypted database from intel sgx with small trusted computing base.
  ☆60Updated 4 years ago
• efficient / cuckoofilter
  ☆995Updated 3 years ago
• samanbarghi / uThreads
  A concurrent user-level thread library implemented in C++
  ☆317Updated 4 years ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,380Updated last week