Pinned Loading

1. advent-of-code-2022 advent-of-code-2022 Public

   I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.

   Rust 7

2. lean4 lean4 Public

   grhkm messing around with lean4!

   Lean 3 1

3. CTF-challenges CTF-challenges Public

   CTF Challenges I have authored

   Sage