projects
note: some of the repos might be private, feel free to reach out if you want access!
project
fromTS
a typescript transpiler (to javascript) + typechecker written in haskell.
project
proof steps extension
a vscode extension to record and replay coq proof steps for educational purposes.
project
semgrep (path sensitivity and widget)
added path sensitivity to semgrep and created a dashboard widget to display branch information.
project
etna (parser and infrastructure)
added parser workload to etna, and modified the infrastructure to support it.
project
instalite
a scalable social media application for a cloud computing class.
project
oat to x86 compiler
a compiler that translates OAT (a simple, self-defined, object-oriented language) code to x86 assembly.
project
pennos
a basic operating system featuring fundamental OS components.
project
distraction free youtube
a swift mobile application that removes distractions from youtube for focused viewing.
project
peregrine
a computer vision project/ mobile application that detects crowds using surveliance camera footages for efficient medical service delivery.