A repository of TLA+ and Fizzbee specifications for table formats, and other related code.
So far:
- Apache Hudi (TLA+)
- v5 Hudi spec. Copy-On-Write tables, multi-writer, no tables services.
- Delta Lake (TLA+)
- Basic Copy-on-write tables, multi-writer.
- Apache Paimon (Fizzbee)
- Multi-writers, compaction.
- Apache Iceberg (Fizzbee)
- v2 spec. Copy-on-write, merge-on-read, multi-writer, compaction.