Jenkins X : Jenkins X is a CI / CD platform for Kubernetes.
Watchtower : A container-based solution for automating Docker container base image updates.
Punctual : Punctual is a language for live coding audio and visuals. It allows you to build and change networks of signal processors (oscillators, filters, etc) ...
TLA : TLA stands for the Temporal Logic of Actions, but it has become a shorthand for referring to the TLA+ specification language and the PlusCal algorithm...
Wasmer enables super lightweight containers based on WebAssembly that can run anywhere: from Desktop to the Cloud and IoT devices, and also embedded in any programming language.