Lukas Pradel's Projects
:busts_in_silhouette: :computer: Conciso Development & Architecture Breakout OpenShift Hackathon
Windows port of the C/C++ BDD framework CUDD (2.5.0) by Somenzi.
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.
Heuristic C++ implementation of the k-means coreset construction by Feldman, Schmidt and Sohler.
A load order optimisation tool for Oblivion, Skyrim, Fallout 3, Fallout: New Vegas and Fallout 4. This repository holds the source code and documentation.
My lightweight (~50 KB) IRC client implementing RFC 1459.
My GitHub profile
Sources for my personal website.
My master thesis in German.
:scissors: Schere :rock: Stein :scroll: Papier Kata
:steam_locomotive: Java library to provide access to the data available from Valve's Steam API
Test-driven development of Jenkins pipelines :loop: with Jenkins Pipeline Unit
A tool for mocking HTTP services
Sources for the wiremock.org Jekyll project