Pinned Repositories
alexkrauss.github.io
home-metrics-collection
Simple docker setup of metrics collection from my electriticy meter. With prometheus and grafana.
isabelle-dev-docker
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
isabelle-zf-experiments
OUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.
libsml-prometheus-exporter
Prometheus exporter using libsml to parse SmartMeter output
logspout-counter-prometheus
Logspout module that counts certain log messages and exposes the counters as prometheus metrics.
monad_examples
Example code for my talk "Monads for the working software engineer"
qaware-blog-source
research-homepage
Homepage content published at https://www21.in.tum.de/~krauss
alexkrauss's Repositories
alexkrauss/alexkrauss.github.io
alexkrauss/home-metrics-collection
Simple docker setup of metrics collection from my electriticy meter. With prometheus and grafana.
alexkrauss/isabelle-dev-docker
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
alexkrauss/isabelle-zf-experiments
OUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.
alexkrauss/libsml-prometheus-exporter
Prometheus exporter using libsml to parse SmartMeter output
alexkrauss/logspout-counter-prometheus
Logspout module that counts certain log messages and exposes the counters as prometheus metrics.
alexkrauss/monad_examples
Example code for my talk "Monads for the working software engineer"
alexkrauss/qaware-blog-source
alexkrauss/research-homepage
Homepage content published at https://www21.in.tum.de/~krauss
alexkrauss/supervisor-dispatcher
Work towards a dispatcher for distributed supervisor instances
alexkrauss/test-shard-maven-plugin
The test shard maven plugin is a maven plugin to split tests into shards. The main aim is to use these shards for concurrent testing.