eucm/formalz-fchecker

Universidad Complutense de Madrid

FormalZ fchecker software docker image (https://github.com/FormalZ/fchecker)

Base Image for ServiceX Transformers

oydeu/app-room-mobile

oydeu

Sammle Klimadaten und steuere damit Heizung und Lüftung - Mobile Version.

OmpSs-2 containter for Continuous Integration

oydeu/app-quality

oydeu

Dokumentiere unerwartete Ereignisse (z.B. Verspätung des Zugs, Netzwerkausfall oder ähnliches)

swift development environment

geodynamics/sw4-buildenv-bionic

Computational Infrastructure for Geodynamics

Build environment for SW4 using the Ubuntu Bionic (18.04) Docker container.

repository for neptune tutorial Aug 1st at Culham

nanozoo/inkscape

nanozoo.org

FROM: https://gitlab.com/inkscape/inkscape

gentkit/java

gentkit

A Docker image based on Java environment .

OmpSs containter for Continuous Integration

oydeu/app-goal

oydeu

Peter Thiel's Strategie: Setze dir täglich genau ein Ziel und prüfe ob du es erreichst.

dyne/clojure

Foundation

Base image for Clojure based web applications

dyne/agiladmin

Foundation

Agiladmin - Payroll administration in Clojure

nanozoo/r_ideel

nanozoo.org

FROM: https://github.com/phiweger/ideel

apachepulsar/pulsar-build-cpp

apachepulsar

Docker image used for building the Pulsar C++ client library

Dev repo for the MINI-EX pipeline

Container for COMP 730

Build environment for the MicroPython rp2 port

nanozoo/md2pdf

nanozoo.org

via pandoc (https://pandoc.org/index.html)

Utility image for srcml package management

Build environment for the MicroPython unix port

Integration between mflowgen and OpenROAD Flow Scripts for open-source chip design!

Wildfly 12.0.0 Final

biocontainers/lcmsmatching

biocontainers

Annotation of MS peaks using matching on a spectra database.

Docker images for Flutter Continuous Integration (CI)