Paul Tristan Wagner's repositories
model-checking
Command line tool for model checking using LTL, CTL and CTL* formulas
satisfiability-checking
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Cryptography
Small cryptography playground
rwth-cs-dc-mc
Open source Minecraft plugins for the RWTH computer science Discord
Itemex
With this Minecraft Spigot Server Plugin, players can sell or buy any item on a free market, by create a sell- or buyorder. The price of each item will be determined by supply and demand. I developed this plugin for myself, but If someone will find it usefull, I will keep developing and updating.
java-design-patterns
Design patterns implemented in Java
java-fundamentals
Common algorithms, data structures and design pattern implemented in Java.
ProtocolLib
Provides read and write access to the Minecraft protocol with Bukkit.
TeamBattle
Minecraft team battle plugin