Pinned Repositories
arcdps_downloader_gw2
Small Java program to download latest Arcdps to Guild Wars 2
bukkit-hardcore
Hardmode with more powerful mobs: become a time-restricted spectator when you die
BukkitPluginProject
Repository holding various plugins for minecraft bukkit server
dhohmann.github.io
Webspace for different pages
formula
formula-analysis-javasmt
javasmt-native
masterthesis-eval
SimpleGamesCollection
This project is a collection of various simple games for private use only. All games will stay free as long as they remain inside this repository. Feel free to re-use the code or to extend each game with your own features.
ungit-java-wrapper
Wraps ungit into a simple java gui starting with a tray icon
dhohmann's Repositories
dhohmann/SimpleGamesCollection
This project is a collection of various simple games for private use only. All games will stay free as long as they remain inside this repository. Feel free to re-use the code or to extend each game with your own features.
dhohmann/arcdps_downloader_gw2
Small Java program to download latest Arcdps to Guild Wars 2
dhohmann/bukkit-hardcore
Hardmode with more powerful mobs: become a time-restricted spectator when you die
dhohmann/BukkitPluginProject
Repository holding various plugins for minecraft bukkit server
dhohmann/dhohmann.github.io
Webspace for different pages
dhohmann/formula
dhohmann/formula-analysis-javasmt
dhohmann/javasmt-native
dhohmann/masterthesis-eval
dhohmann/ungit-java-wrapper
Wraps ungit into a simple java gui starting with a tray icon
dhohmann/types
Type definitions for libraries that don't have it or have mismatching ones
dhohmann/util
Miscellaneous utility functions for SPL development and analysis.