Stars
DataFusion has now been donated to the Apache Arrow project
A collection of TLA⁺ specifications of varying complexities.
MoHA(Mobike High Availability): A MySQL/Postgres high availability supervisor
Source Code for 'Practical TLA+' by Hillel Wayne
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.