danielepusceddu

Daniele Pusceddu's repositories

lean4-amm

Formalizing AMMs in Lean 4

Language:Lean500

ctf_solutions

My solutions for some of the CTF challenges I have completed

Language:Python400

C-Hallenge2020_Conquest

Team PPP's submission for C-Hallenge 2020

Language:C3 40

Bullet-Hell

Space shooter game made with C++ and SFML.

Language:C++GPL-3.0100

CookieBooster

Auto-clicking and keybinds for Cookie Clicker

Language:JavaScriptMIT1 30

CPP-8

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

Language:C++MIT100

danielepusceddu.github.io

My Blog

Language:SCSS100

modwm

MODWM - Modular Dynamic Window Manager

Language:CMIT100

Algorithm-Visualizer

Algorithm Visualizer made with C++ and SFML.

Language:C++GPL-3.0000

AppuntiUni

Appunti Universitari

Language:HTML000

BigBagKbdTrixXKB

"DreymaR's Big Bag of Keyboard Tricks" for *nix with XKB

Language:ShellMIT000

subskell

Toy functional language with type inference and let-polymorphism

Language:OCaml000

damn-vulnerable-defi

The offensive security playground for the decentralized finances.

Language:SolidityMIT000

danielepusceddu.github.io-old

danielepusceddu.github.io

Language:HTMLMIT000

dotfiles

Language:Shell000

dotfilesold

My Dotfiles

Language:LuaGPL-3.0020

dwm

My dwm

Language:CMIT000

lip

Language:OCamlApache-2.0000

scdl

Soundcloud Music Downloader

GPL-2.0000

Zuap

Fetches new insertions for apartments near Zurich from different websites and provides updates via Discord.

Language:JavaMIT000