embs

hello-world

Hello World! (an example of minimal Dockerization)

Oracle Java 8 (and 7) with GLIBC 2.28 over AlpineLinux

This is the authoritative image for zipkin, a distributed tracing system.

FDR refinement checker for CSP