Skip to content
View gabryon99's full-sized avatar

Block or report gabryon99

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
gabryon99/README.md

  HYAAA! ⚔️ 👋

I'm Gabriele Pappalardo, Software Developer @ JetBrains

gabryon99's GitHub Stats

  • 🎓 MSc in Computer Science @ University of Pisa
  • 👨‍💻 Programming languages and their implementations fascinate me
  • 💭 Very curious on how things work under the hood!
  • 👾 Strong passion for videogames and home consoles (especially Nintendo :D)

Skills

  • Programming
  • Frameworks/Libraries/Toolchains

Contacts

You can contact me in several ways! My principal e-mail address is: [email protected].

Pinned Loading

  1. postcat-kodee postcat-kodee Public

    Postcat Kodee is a 3D game written in Kotlin, using the Godot/Kotlin JVM bindings.

    Kotlin 45 1

  2. kotlin-effects kotlin-effects Public

    A Kotlin library implementing algebraic effect handlers.

    Kotlin 5

  3. mucomp-lang mucomp-lang Public

    μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.

    OCaml 2

  4. vt-vm-dynamic vt-vm-dynamic Public

    This is an implementation of the toy Virtual Machine saw during the "Virtualization Techniques" course at TUM (WS 22/23).

    Rust 1

  5. goblint/analyzer goblint/analyzer Public

    Static analysis framework for C

    OCaml 185 76

  6. RanchTheSheep RanchTheSheep Public

    Application project for "Sviluppo di Applicazioni Mobile" course at UniPi

    Kotlin 1