Skip to content
View gabryon99's full-sized avatar
92 followers · 96 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report gabryon99

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 Engineer @ JetBrains (Kotlin Multiplatform Tooling)

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)
Programming
Frameworks/Libraries/Toolchains

Contacts

You can contact me in several ways! My principal e-mail address is: gabriele_pappalardo [at] outlook [dot] com.

Pinned Loading

  1. postcat-kodee postcat-kodee Public

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

    Kotlin 51 1

  2. kotlin-effects kotlin-effects Public

    A Kotlin library implementing algebraic effect handlers.

    Kotlin 10

  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 248 88

  6. RanchTheSheep RanchTheSheep Public

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

    Kotlin 1