lpradel/lukaspradel.com
Sources for my personal website.
:steam_locomotive: Java library to provide access to the data available from Valve's Steam API
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Sources for my personal website.
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.
My lightweight (~50 KB) IRC client implementing RFC 1459.
Windows port of the C/C++ BDD framework CUDD (2.5.0) by Somenzi.