George Sakkas's Projects
a Productive Parallel Programming Language
My solutions to Google's Code Jam programming competition.
A compiler for the Edsger programming language.
Just checking GitHub.
A middle ground of different Gruvbox themes for VS Code.
My personal website.
Simulation of airplanes moving between airports in a given map implemented in Java.
Learning to Blame Type Errors from Novice Mistakes
My solutions for the Programming Languages 2 course exercises of the ECE - National Technical University of Athens.
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
Type Error Feedback via Analytic Program Repair
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
Synthesizing re-implementations of faulty instructions for URISC co-processors