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

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Highlights

  • Pro

Block or report MagiHotline

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
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. ferrum ferrum Public

    a video renderer built on Metal 

    Rust

  3. agda-zed agda-zed Public

    Forked from haohanyang/agda-zed

    Rust

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

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

    TeX

  5. UniNotes UniNotes Public

    A collection of my University Notes

    Jupyter Notebook

  6. AdventOfCode AdventOfCode Public

    My solutions for AdventOfCode 🎅 🎄 ⛄

    C++