slomo/bcfg2
Git clone of the Bcfg2 repository
Developer Profile
slomo
Discovered public repositories for slomo in the GitHub catalog.
slomo/ddns
A dynamic dns http api for powerdns and postgresSQL
slomo/leo2-testresults
Public repository.
slomo/leo2-testbench
Public repository.
slomo/leo2
Fork of LEO-II - A higher order theorem prover
slomo/jswtf
Based on http://patriciopalladino.com/blog/2012/08/09/non-alphanumeric-javascript.html i tried some js-magic
slomo/ske
Reposetory for "Schaltkreis Entwurf", a course at HU Berlin
slomo/tptp-to-json
This transfroms tptp syntax into a json object tree
slomo/coding-competition
A python programm to run untrusted from a coding challange in a lxc container
slomo/fol-2012
First-Order-Logic
slomo/eldapo
An erlang ldap server
slomo/idea-blog
This is blog to collect ideas.
slomo/semantik-ss12
Semantik von Programmiersprachen Sommersemester 2012
slomo/compil
Just an other sheme implementation try, that never got productive
slomo/python-for-erstis
An introductional python course (mostly German)
slomo/python-markdown2
markdown2: A fast and complete implementation of Markdown in Python
slomo/esshd
erlang sshd server
slomo/noodle
A doodle clone in node.js
slomo/sg
A simple programming game
slomo/rayerl
Raytracer sketch in erlang (not productive at all)
slomo/osm-spline-xapi
we have moved to osm-spline/xappy.js
slomo/verteilteSysteme
Public repository.
slomo/whyTheInternetSucks
Termpaper about Internet Core Routing
slomo/Mikrocontroller-WS09-10
Mikrocontroller Praktikum im Wintersemster 2009/2010
slomo/Computerphysik-WS09-10
Public repository.