gabryon99
Software Developer @ JetBrains. M.Sc in Computer Science @ Unipi. I like Programming Languages and their implementation. Moreover, I love playing videogames
JetBrainsMunich, Germany
Pinned Repositories
dummyshell
A really really dummy shell made for an University assignment
kotlin-effects
A Kotlin library implementing algebraic effect handlers.
lc3-rust
LC3 Virtual Machine written in Rust 🦀
mucomp-lang
μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.
postcat-kodee
Postcat Kodee is a 3D game written in Kotlin, using the Godot/Kotlin JVM bindings.
RanchTheSheep
Application project for "Sviluppo di Applicazioni Mobile" course at UniPi
vt-vm-dynamic
This is an implementation of the toy Virtual Machine saw during the "Virtualization Techniques" course at TUM (WS 22/23).
analyzer
Static analysis framework for C
kotlin
The Kotlin Programming Language.
gabryon99's Repositories
gabryon99/postcat-kodee
Postcat Kodee is a 3D game written in Kotlin, using the Godot/Kotlin JVM bindings.
gabryon99/kotlin-effects
A Kotlin library implementing algebraic effect handlers.
gabryon99/lc3-rust
LC3 Virtual Machine written in Rust 🦀
gabryon99/assignments-chair-ds-os-tum
gabryon99/chip8
Chip8 emulator using Modern C++ and SDL2.
gabryon99/clox
Implementation of a Virtual Machine for the Lox programming language.
gabryon99/imp
IMP is a small imperative programming language.
gabryon99/master-thesis
Repository containing notes and progresses about Algebraic Effect Handlers in Kotlin.
gabryon99/parallel-jacobi-method
This repository contains the final project for "Parallel and Distributed Systems: Paradigms and Models" (a.y. 2021/2022) course at University of Pisa.
gabryon99/vt-vm-dynamic
This is an implementation of the toy Virtual Machine saw during the "Virtualization Techniques" course at TUM (WS 22/23).
gabryon99/ad-2122
This repository contains the report of the various hands-on held during the lectures of Algorithm Design course.
gabryon99/cpc-2122
Repository for Competitive Programming and Contest course at UniPi M.Sc. degree (a.a. 2021/2022)
gabryon99/gabryon99
Special repository for GitHub profile :)
gabryon99/gabryon99.github.io
gabryon99/godot-kotlin-jvm
Godot Kotlin JVM Module
gabryon99/godot-kotlin-native
Kotlin bindings for Godot Engine
gabryon99/inestool
Rewritten in Python 3. Read/write iNES readers on NES ROMs
gabryon99/jb-kotlin-verification-framework
JetBrains Task's implementation for the "Formal verification framework for Kotlin".
gabryon99/klox
gabryon99/kodee-game
Simple 2D game used as demo for the Godot Kotlin/JVM bindings.
gabryon99/libgodot
Godot modified to be embeddable as a library
gabryon99/lua-language-server
A language server that offers Lua language support - programmed in Lua
gabryon99/md-cs-student-unipi-materials
🎓Collection of useful repositories
gabryon99/psc-2021-22
Repository containing question and answers for "Principles for Software Composition" course at UniPi.
gabryon99/ray-tracer-challenge
gabryon99/resume
Software developer resume in Latex
gabryon99/spm-2122
Assignment of SPM course at University of Pisa
gabryon99/static-pie-apps
Built Linux applications (static-pie) for Unikraft binary compatibility mode
gabryon99/storm
TLDR; Add some comments for the implemented code into "Simple Strategies for Multi-Objective MDPs" paper.A Modern Probabilistic Model Checker
gabryon99/vt-ws22-23
Repository for Virtualization Techniques course at TUM.