Pinned Repositories
Algorithm-Visualizer
Algorithm Visualizer made with C++ and SFML.
Bullet-Hell
Space shooter game made with C++ and SFML.
C-Hallenge2020_Conquest
Team PPP's submission for C-Hallenge 2020
CookieBooster
Auto-clicking and keybinds for Cookie Clicker
CPP-8
Chip-8 interpreter written in C++. Can use SDL2, SFML 2.5 or WebAssembly.
ctf_solutions
My solutions for some of the CTF challenges I have completed
danielepusceddu.github.io
My Blog
lean4-amm
Formalizing AMMs in Lean 4
modwm
MODWM - Modular Dynamic Window Manager
subskell
Toy functional language with type inference and let-polymorphism
danielepusceddu's Repositories
danielepusceddu/lean4-amm
Formalizing AMMs in Lean 4
danielepusceddu/ctf_solutions
My solutions for some of the CTF challenges I have completed
danielepusceddu/C-Hallenge2020_Conquest
Team PPP's submission for C-Hallenge 2020
danielepusceddu/Bullet-Hell
Space shooter game made with C++ and SFML.
danielepusceddu/CookieBooster
Auto-clicking and keybinds for Cookie Clicker
danielepusceddu/CPP-8
Chip-8 interpreter written in C++. Can use SDL2, SFML 2.5 or WebAssembly.
danielepusceddu/danielepusceddu.github.io
My Blog
danielepusceddu/modwm
MODWM - Modular Dynamic Window Manager
danielepusceddu/Algorithm-Visualizer
Algorithm Visualizer made with C++ and SFML.
danielepusceddu/AppuntiUni
Appunti Universitari
danielepusceddu/BigBagKbdTrixXKB
"DreymaR's Big Bag of Keyboard Tricks" for *nix with XKB
danielepusceddu/subskell
Toy functional language with type inference and let-polymorphism
danielepusceddu/damn-vulnerable-defi
The offensive security playground for the decentralized finances.
danielepusceddu/danielepusceddu.github.io-old
danielepusceddu.github.io
danielepusceddu/dotfiles
danielepusceddu/dotfilesold
My Dotfiles
danielepusceddu/dwm
My dwm
danielepusceddu/lip
danielepusceddu/scdl
Soundcloud Music Downloader
danielepusceddu/Zuap
Fetches new insertions for apartments near Zurich from different websites and provides updates via Discord.