Pinned Loading

1. mathcontest-lean mathcontest-lean Public

   A collection of formalized mathematics olympiad problems written in Lean 4.

   Lean 3

2. ecc_cryptanalysis ecc_cryptanalysis Public

   Automated cryptanalysis tool for elliptic curve cryptography

   Python 3 1

3. my-ctf-challenges my-ctf-challenges Public

   CTF challenges authored by me

   Python 3

4. ctf_writeups ctf_writeups Public

   Writeups for capture the flag competitions

   Smali 7

5. imageshelter-v2 imageshelter-v2 Public

   ImageShelter, but better

   Rust 1

6. ecc_talk ecc_talk Public

   Python 1