Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

StarlingX is an open source distributed cloud platform. More info here: https://www.starlingx.io/

blockstack/sbtc

Stacks Foundation

docker images relating to sbtc

opensnowcat/opensnowcat-collector-pubsub

OpenSnowcat

OpenSnowcat Collector (PubSub)

jhipster/jhipster-online

JHipster

JHipster Online is the Open Source project that powers https://start.jhipster.tech/

voxpupuli/container-puppetdb

voxpupuli

Container image for PuppetDB

drevops/shellvar

DrevOps

Utility to work with shell variables.

The `dind` image is designed for EarthBuild targets

Build, package, and test srcml on Ubuntu

opensnowcat/opensnowcat-collector-kafka

OpenSnowcat

OpenSnowcat Collector (Kafka)

Build, package, and test srcml on Fedora

istio/app_sidecar_debian_9

istio

This image is used for Istio testing.

wgtechlabs/unthread-whatsapp-bot

WG Technology Labs

The official Unthread extension for WhatsApp.

A single node Zookeeper instance for testing members of the Stroom family of applications/services

eclipse/alpine_jdk8

The Eclipse Foundation

Based on Alpine 3.3. JDK 1.8, Maven 3.3.9, Tomcat 8, git, curl, wget, mc, unzip, sudo, bash

primeimages/chapel

PrimeImages

Debian with Chapel installed

xonsh/xonsh-interactive

xonsh project

Xonsh shell interactive container.

Sorl image pre-configured for unit testing of OntoPortal components.

femtopixel/google-closure-compiler-app

FemtoPixel

This image allows you to Compile your JS code using Google Closure Compiler APP in CLI

micado/toscasubmitter

Project COLA

TOSCA submission component

xonsh/xonsh-github-action

xonsh project

Xonsh shell Github Actions container.

wrapped image for tensorflow/serving see https://github.com/corpusops/docker-images

primeimages/haskell

PrimeImages

Fedora with Haskell and LLVM installed

mgrep used for unit testing of ontoportal projects