Name: George Sakkas
Type: User
Bio: I'm a PhD candidate at the UCSD PL group. My research is on Programming Languages and my interests are focused on Neurosymbolic Program Repair and Synthesis.
Twitter: gsakkas42
Location: San Diego, CA
Blog: gsakkas.github.io
chapel
a Productive Parallel Programming Language
code-jam
My solutions to Google's Code Jam programming competition.
edsger-compiler
A compiler for the Edsger programming language.
generic-repo
Just checking GitHub.
gpus-kmeans
gruvbox-mix
A middle ground of different Gruvbox themes for VS Code.
gsakkas.github.io
My personal website.
multimedia-project
Simulation of airplanes moving between airports in a given map implemented in Java.
nanomaly
nate
Learning to Blame Type Errors from Novice Mistakes
pl2-exercises
My solutions for the Programming Languages 2 course exercises of the ECE - National Technical University of Athens.
prose
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.
rite
Type Error Feedback via Analytic Program Repair
seq2parse
Seq2Parse: Error Correcting Parsing using a Transformer Classifier
urisc-synthesis
Synthesizing re-implementations of faulty instructions for URISC co-processors
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
