Stars
3
stars
written in Scala
Clear filter
A Scala API for Apache Beam and Google Cloud Dataflow.
APALACHE: symbolic model checker for TLA+ and Quint