Pinned Repositories
bookkeeper
Apache BookKeeper - a scalable, fault tolerant and low latency storage service optimized for append-only workloads
incubator-nemo
Apache Nemo (Incubating) - Data Processing System for Flexible Employment With Different Deployment Characteristics
Examples
A collection of TLA⁺ specifications of varying complexities
flink
Apache Flink
dotenv-linter
⚡️Lightning-fast linter for .env files. Written in Rust 🦀
arunlakshman's Repositories
arunlakshman/Examples
A collection of TLA⁺ specifications of varying complexities
arunlakshman/flink
Apache Flink