- Brisbane, Australia
- https://kodraus.github.io
Stars
3
stars
written in Java
Clear filter
Free and Open Source, Distributed, RESTful Search Engine
Apache Kafka - A distributed event streaming platform
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.