Skip to content
View MagiHotline's full-sized avatar
⭐
clacking code on my keyboard
⭐
clacking code on my keyboard
12 followers · 16 following

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Highlights

  • Pro

Block or report MagiHotline

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MagiHotline/README.md

Hello there, Magi here!

View Counter

link_swinging

I'm a Computer Science student from Italy,
currently finishing my Bachelors.

My main languages and tools:

Connect with me:

LinkedIn Discord Gmail

You can find my blog posts and other stuff
about me on my personal website!



Github Stats

Pinned Loading

  1. word_tui word_tui Public

    TUI for Wordle-like Game made in Rust

    Rust 3

  2. modal-logicS4.2-nd-agda modal-logicS4.2-nd-agda Public

    Modelling Modal Logic S4.2 in Proof Assistant Language Agda.

    TeX

  3. connections_tui connections_tui Public

    TUI for Connections game made in Rust

    Rust 1

  4. UniNotes UniNotes Public

    A collection of my University Notes

    TeX

  5. AdventOfCode AdventOfCode Public

    My solutions for AdventOfCode 🎅 🎄 ⛄

    C++

  6. sha256 sha256 Public

    University Project for Operating Systems 2025/2026

    Makefile