MagiHotline/masterNotes
A collection of my Master's Degree notes
Functionally overstimulated half-baked programmer
Repositories
MagiHotline/magichat
A P2P Chat via TCP
MagiHotline/MagiHotline.github.io
My Personal Portfolio Site
MagiHotline/word_tui
TUI for Wordle-like Game made in Rust
MagiHotline/IMGtoASCII
A simple C code that transforms Images to ASCII Art.
MagiHotline/sms
A decompilation of Super Mario Sunshine brought to you by a bunch of clever folks.
MagiHotline/MagiHotline
MagiHotline/leetcode
Leetcode solutions to cook interviews
MagiHotline/dotfiles
My configuration files for all I need
MagiHotline/learn_to_get_burnt
Series of exercises to learn the DL framework Burn
MagiHotline/JAVASCRIPT
An interpreter for JAVASCRIPT
MagiHotline/tesi_triennale
Il mio elaborato di tesi triennale per l'Università degli Studi di Verona
MagiHotline/UniNotes
A collection of my University Notes
MagiHotline/dusklight
Dusklight brings a classic adventure to PC and mobile platforms with a variety of fixes and improvements.
MagiHotline/magi_interpreter
Interpreter for the Magi language
MagiHotline/ferrum
a video renderer built on Metal
MagiHotline/lazuli
GameCube emulator
MagiHotline/modal-logicS4.2-nd-agda
Modelling Modal Logic S4.2 in Proof Assistant Language Agda.
MagiHotline/agda-zed
MagiHotline/SpearpointGalaxy
A videogame project I did back in High School. A "Galaga" wannabe.
MagiHotline/agda-lsp
An Agda extension for Zed powered by ALS
MagiHotline/extensions
Extensions for the Zed editor
MagiHotline/agda_tui
A TUI for visualizing programs and proof written with Agda
MagiHotline/students-career-eth
Project for the Introduction to programming for smart contracts with Ethereum
MagiHotline/Website2
MagiHotline/connections_tui
TUI for Connections game made in Rust
MagiHotline/diabetes_logger
University project 2025/2026 for Software Engineering class
MagiHotline/BB84Protocol
Relalazione sul protocollo BB84 per il corso di Introduzione alla meccanica quantistica per il quantum computing.
MagiHotline/sha256
University Project for Operating Systems 2025/2026
MagiHotline/Haskellenges
Some Haskell challenges from Leetcode and Hackerrank. Used to learn functional programming.