paultristanwagner

Cryptography

Small cryptography playground

ForkChain

java-design-patterns

Design patterns implemented in Java

java-fundamentals

Common algorithms, data structures and design pattern implemented in Java.

model-checking

Command line tool for model checking using LTL, CTL and CTL* formulas

ProtocolLib

Provides read and write access to the Minecraft protocol with Bukkit.

rwth-cs-dc-mc

Open source Minecraft plugins for the RWTH computer science Discord

satisfiability-checking

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

TeamBattle

Minecraft team battle plugin

paultristanwagner/model-checking

Command line tool for model checking using LTL, CTL and CTL* formulas

paultristanwagner/satisfiability-checking

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

paultristanwagner/Cryptography

Small cryptography playground

paultristanwagner/rwth-cs-dc-mc

Open source Minecraft plugins for the RWTH computer science Discord

paultristanwagner/ForkChain

paultristanwagner/java-design-patterns

Design patterns implemented in Java

paultristanwagner/java-fundamentals

Common algorithms, data structures and design pattern implemented in Java.

paultristanwagner/ProtocolLib

Provides read and write access to the Minecraft protocol with Bukkit.

paultristanwagner/slime-soccer

paultristanwagner/TeamBattle

Minecraft team battle plugin