Pinned Loading

1. model-checking model-checking Public

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

   Java 17

2. smt-rex smt-rex Public

   An SMT solver in Rust that proves its answers: QF_UF, QF_LRA, QF_LIA, QF_NRA, QF_BV, with LRAT and Alethe proofs.

   Rust 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