Pinned Loading

1. lean4-amm lean4-amm Public

   Formalizing AMMs in Lean 4

   Lean 6 1

2. ctf_solutions ctf_solutions Public

   My solutions for some of the CTF challenges I have completed

   Python 4

3. subskell subskell Public

   Toy functional language with type inference and let-polymorphism

   OCaml

4. CPP-8 CPP-8 Public

   Chip-8 interpreter written in C++. Can use SDL2, SFML 2.5 or WebAssembly.

   C++ 1

5. Bullet-Hell Bullet-Hell Public

   Space shooter game made with C++ and SFML.

   C++ 1