Pinned Loading

1. lean4-amm lean4-amm Public

   Formalizing Automated Market Makers in Lean 4

   Lean 10 4

2. ctf_solutions ctf_solutions Public

   My solutions for some of the CTF challenges I have completed

   Python 4

3. subskell subskell Public

   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++ 2 1

6. akeverif akeverif Public

   Experiments in Formal Verification of Authenticated Key Exchange Protocols

   1