A compiler for a simplified version of the COOL programming language
Implementation of the model described in "Training deep neural nets to aggregate crowdsourced responses." by Gaunt et al.
Techniques to effectively perform multi-label classification from a very large set of labels
A program that simulates answers given by a crowd to multiple choice questions with either a single or multiple answers correct, and writes it to a CSV
A Plug-and-Play Load Balancer in Golang
A SAT solver implementing the CDCL algorithm
A SAT solver implementing the DPLL algorithm
A partial unweighted MaxSAT solver
A turn based three player tank game in Haskell
Simulates execution of MIPS programs