Software engineer at Google working on JAX
Stars
5
stars
written in Java
Clear filter
Netty project - an event-driven asynchronous network application framework
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
SPADE: Support for Provenance Auditing in Distributed Environments