arunlakshman

Software Engineer @aws Ex-@walmartlabs

@awsSeattle, WA

Pinned Repositories

bookkeeper
Apache BookKeeper - a scalable, fault tolerant and low latency storage service optimized for append-only workloads
Language:Java1.9k 105 1.3k903
incubator-nemo
Apache Nemo (Incubating) - Data Processing System for Flexible Employment With Different Deployment Characteristics
Language:Java113 14 065
Examples
A collection of TLA⁺ specifications of varying complexities
Language:TLA00
flink
Apache Flink
Language:Java0 0 00
dotenv-linter
⚡️Lightning-fast linter for .env files. Written in Rust 🦀
Language:Rust1.8k 22 213150

arunlakshman's Repositories

arunlakshman/Examples
A collection of TLA⁺ specifications of varying complexities
Language:TLA00
arunlakshman/flink
Apache Flink
Language:Java0 0 00