Stars
A collection of TLA⁺ specifications of varying complexities.
A collection of out-of-tree LLVM passes for teaching and learning
Apache Spark - A unified analytics engine for large-scale data processing
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.
A distributed transaction framework, supports workflow, saga, tcc, xa, 2-phase message, outbox patterns, supports many languages.
NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB
distributed consensus protocol's bugs, flaws, deceptive traps, improvements
A collection of resources for learning type theory and type theory adjacent fields.
A curated list to learn about distributed systems
Curated list of resources on testing distributed systems
中文的C++ Template的教学指南。与知名书籍C++ Templates不同，该系列教程将C++ Templates作为一门图灵完备的语言来讲授，以求帮助读者对Meta-Programming融会贯通。(正在施工中)
A curated list of Rust code and resources.
Self-Driving Database Management System from Carnegie Mellon University
A Turing complete language 😉
Program Analisys and Transformation survey and links (particular focus on SSA)
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
A compiler for a tiny (but growing!) subset of C, written in OCaml.
brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" mea…
💎 A curated list of awesome Competitive Programming, Algorithm and Data Structure resources
An open-source C++ library developed and used at Facebook.
The engine for haskell ide-integration. Not an IDE