Pinned Repositories
pelican-plugins
Collection of plugins for the Pelican static site generator
nltk
NLTK Source
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
java-smt
JavaSMT - Unified Java API for SMT solvers.
blog-post-spring-multi-jwt
Code for the Blog Post "Supporting different JWTs in your Spring Boot application".
helm-charts
Helm charts for VictoriaMetrics, VictoriaLogs and ecosystem
homepage
My Homepage (built with Pelican)
Schafkopfauswerter
An application to make longterm statistics for a group playing the game Schafkopf.
sphereMiners
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 splitted into smaller ones or merged with others to create a greater one. The aim is to defeat other AI's by "mining" them, which is only possible if the sphere is larger then the mined sphere.
stieglma's Repositories
stieglma/sphereMiners
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 splitted into smaller ones or merged with others to create a greater one. The aim is to defeat other AI's by "mining" them, which is only possible if the sphere is larger then the mined sphere.
stieglma/blog-post-spring-multi-jwt
Code for the Blog Post "Supporting different JWTs in your Spring Boot application".
stieglma/helm-charts
Helm charts for VictoriaMetrics, VictoriaLogs and ecosystem
stieglma/homepage
My Homepage (built with Pelican)
stieglma/ieee-docker-kube-gitops
Demo Repository for a presentation at the University of Passau
stieglma/javadoc-coverage
A Doclet to generate JavaDoc coverage reports
stieglma/Schafkopfauswerter
An application to make longterm statistics for a group playing the game Schafkopf.
stieglma/master_thesis
Augmenting Predicate Analysis with Auxiliary Invariants
stieglma/pelican-plugins
Collection of plugins for the Pelican static site generator
stieglma/prom-label-proxy
A proxy that enforces a given label in a given PromQL query.
stieglma/schuetzen-homepage
Homepage der Edelweißschützen Gaishofen
stieglma/schuetzen-homepage-preview
preview repo for homepage