Pinned Repositories
compil
Just an other sheme implementation try, that never got productive
Computerphysik-WS09-10
eldapo
An erlang ldap server
esshd
erlang sshd server
idea-blog
This is blog to collect ideas.
leo2
Fork of LEO-II - A higher order theorem prover
ndef-javacard
JavaCard applet for speaking NDEF
python-for-erstis
An introductional python course (mostly German)
slomo's Repositories
slomo/ndef-javacard
JavaCard applet for speaking NDEF
slomo/leo2
Fork of LEO-II - A higher order theorem prover
slomo/alertmanager-webhook-logger
Generates (structured) log messages from Prometheus AlertManager webhook notifier.
slomo/ansible-alertmanager
Deploy Prometheus Alertmanager service
slomo/ansible-consul
:satellite: Ansible role for Consul clusters
slomo/ansible-prometheus
Deploy Prometheus monitoring system
slomo/bcfg2
Git clone of the Bcfg2 repository
slomo/buildout.dumprequirements
a simple buildout extension that dumps a requirements.txt file for pip
slomo/chromeccid
slomo/coding-competition
A python programm to run untrusted from a coding challange in a lxc container
slomo/consul-agent_exporter
Prometheus exporter for Consul agents
slomo/ddns
A dynamic dns http api for powerdns and postgresSQL
slomo/django
The Web framework for perfectionists with deadlines.
slomo/django-filter
A generic system for filtering Django QuerySets based on user selections
slomo/firmware
Build system for berlin firmware
slomo/haproxy20
slomo/jswtf
Based on http://patriciopalladino.com/blog/2012/08/09/non-alphanumeric-javascript.html i tried some js-magic
slomo/leo2-testbench
slomo/leo2-testresults
slomo/mesh-workshop
slomo/micrometer
An application metrics facade for the most popular monitoring tools. Think SLF4J, but for metrics.
slomo/micrometer-graphite-issue-example
Demo repository to show an issue with micrometer spring legacy and graphite
slomo/nipap-wizard
ip configuration webinterface (frontend for nipap)
slomo/olsr-lua-parser
A parser for olsr packages written in lua
slomo/scalyr-agent-2
The source code for Scalyr Agent 2, the daemon process Scalyr customers run on their servers to collect metrics and logs.
slomo/ske
Reposetory for "Schaltkreis Entwurf", a course at HU Berlin
slomo/test-blog
just a quick test of djang and pythonanwhere
slomo/theBeamBook
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
slomo/tptp-to-json
This transfroms tptp syntax into a json object tree
slomo/travis-test
Just some dump travis questions I had