Lists (1)
Sort Name ascending (A-Z)
Stars
2
stars
written in Java
Clear filter
AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.