Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Paper Docker | 54 | 2 years ago | 10 | mit | Dockerfile | |||||
PaperSpigot Docker. Easy to use and clean docker image for running paper spigot servers in docker containers using OpenJDK. WIP | ||||||||||
Confine | 42 | 2 years ago | 2 | mit | Python | |||||
This tool set can generate SECCOMP profiles for Docker images. It mainly relies on static analysis, making its results more reliable than currently available tools. | ||||||||||
Waterfall Docker | 12 | 2 years ago | 3 | mit | Dockerfile | |||||
Docker image for the popular bungee cord fork called Waterfall that aims to improve performance and stability. | ||||||||||
Proofs | 10 | 4 years ago | AMPL | |||||||
A collection of mechanised proofs | ||||||||||
Embeddedartists Epaper Raspberry Docker | 6 | 7 years ago | Shell | |||||||
Docker image for embedded artist's 2.7" e-paper display on a Raspberry Pi with resin.io |