Lukas Pradel

steam-web-api-java. :steam_locomotive: Java library to provide access to the data available from Valve's Steam API

kmeans-coreset. Heuristic C++ implementation of the k-means coreset construction by Feldman, Schmidt and Sohler.

test-driven-jenkins-pipeline. Test-driven development of Jenkins pipelines :loop: with Jenkins Pipeline Unit

conciso-offsite-openshift. :busts_in_silhouette: :computer: Conciso Development & Architecture Breakout OpenShift Hackathon

CUDDVC-2.5.0. Windows port of the C/C++ BDD framework CUDD (2.5.0) by Somenzi.

lpIRC. My lightweight (~50 KB) IRC client implementing RFC 1459.

ImplMWM. OBDD-based implicit algorithm implementation of the parallel maximum weight matching approximation algorithm by Chen and Uehara. This implementation served as core component of the experimental analysis in my bachelor thesis.