Popular repositories Loading

1. key key Public

   Forked from KeYProject/key

   KeY Theorem Prover for Deductive Java Verification

   Java

2. bachelors-thesis-2023 bachelors-thesis-2023 Public archive

   SMT

3. advent-of-code-2023 advent-of-code-2023 Public

   My Java solutions to 2023's Advent of Code event. (Incomplete.)

   Java

4. advent-of-code-2024 advent-of-code-2024 Public

   C#

5. advent-of-code-2025 advent-of-code-2025 Public

   C#