installed awscli, docker, openjdk8-jre, python-pip, git

Version 8.6.1 of Coq, installed along with CoqIDE, Coquelicot, and GeoCoq.

RedDatabase 3 Docker Image

test purpose

data_librariesv22.0

data_librariesv23.0

javanile/vtiger-dev

javanile

Ready for development vtiger docker image

data_librariesv20.0

Android docker image, support android sdk and ndk build env.

Alpine container with Charm, pyPEBEL, and python SimpleHTTPServer running over 8080

Servidor web Express,hecho en typescript y diseñado para osucompost. Construida con Mikro ORM

OpenShift's Java S2I Builder image. Suitable for java (fatjar) types of applications, microservices.

apache/unomi

The Apache Software Foundation

Apache Unomi™ is a Java Open Source GDPR compliance aware customer data platform engine

Cloud Foundry Java Client CI Image

Raspberry Pi Dump1090 is a Mode S decoder for RTLSDR devices based on resin/rpi-raspbian:stretch