PinnedLoading

1. model-checkingmodel-checkingPublic

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

   Java 10

2. satisfiability-checkingsatisfiability-checkingPublic

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

   Java 5

3. rwth-cs-dc-mcrwth-cs-dc-mcPublic

   Open source Minecraft plugins for the RWTH computer science Discord

   Java 1

4. TeamBattleTeamBattlePublic

   Minecraft team battle plugin

   Java

5. CryptographyCryptographyPublic

   Small cryptography playground

   Java 1

6. java-design-patternsjava-design-patternsPublic

   Forked fromiluwatar/java-design-patterns

   Design patterns implemented in Java

   Java