Pinned Loading

1. model-checking model-checking Public

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

   Java 10

2. satisfiability-checking satisfiability-checking Public

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

   Java 5

3. rwth-cs-dc-mc rwth-cs-dc-mc Public

   Open source Minecraft plugins for the RWTH computer science Discord

   Java 1

4. TeamBattle TeamBattle Public

   Minecraft team battle plugin

   Java

5. Cryptography Cryptography Public

   Small cryptography playground

   Java 1

6. java-design-patterns java-design-patterns Public

   Forked from iluwatar/java-design-patterns

   Design patterns implemented in Java

   Java