-
-
helm-charts Public
Forked from VictoriaMetrics/helm-chartsHelm charts for VictoriaMetrics, VictoriaLogs and ecosystem
Mustache Apache License 2.0 UpdatedAug 8, 2024 -
prom-label-proxy Public
Forked from prometheus-community/prom-label-proxyA proxy that enforces a given label in a given PromQL query.
Go Apache License 2.0 UpdatedAug 9, 2023 -
ieee-docker-kube-gitops Public
Demo Repository for a presentation at the University of Passau
Shell UpdatedMay 12, 2023 -
-
master_thesis Public
Augmenting Predicate Analysis with Auxiliary Invariants
HTML UpdatedAug 11, 2019 -
javadoc-coverage Public
Forked from manoelcampos/javadoc-coverageA Doclet to generate JavaDoc coverage reports
HTML GNU General Public License v3.0 UpdatedFeb 17, 2018 -
-
pelican-plugins Public
Forked from getpelican/pelican-pluginsCollection of plugins for the Pelican static site generator
-
sphereMiners Public
SphereMiners is a game played by AI's. It is implemented in Java 8, and as well AI's have to be implemented in Java, too. In the game an AI initially controls one Sphere, this Sphere can be splitte…
-
Schafkopfauswerter Public
An application to make longterm statistics for a group playing the game Schafkopf.
AspectJ MIT License UpdatedApr 13, 2016
{{ message }}