dpusceddu - Overview Skip to content Navigation Menu Pricing Provide feedback Saved searches Use saved searches to filter your results more quickly Sign up Appearance settings Daniele Pusceddu dpusceddu ETH Zurich Cyber Security Msc Zurich, Switzerland Block or report dpusceddu Pinned Loading Formalizing Automated Market Makers in Lean 4 Lean 14 5 My solutions for some of the CTF challenges I have completed Python 4 Functional language with type inference and let-polymorphism OCaml Chip-8 interpreter written in C++. Can use SDL2, SFML 2.5 or WebAssembly. C++ 1 Space shooter game made with C++ and SFML. C++ 2 1 Experiments in Formal Verification of Authenticated Key Exchange Protocols 1
