## projects

Password Manager Security: security analysis of browser auto-fills
Flash Fiction AI: an RNN for generating flash fiction
Skin Scanner: identify skin diseases using computer vision
Nutrition AI: a nutrition predictor built using the Clarifai API
EasyGov: a website for filling out translated government forms
Unemployment Quiz: find out if you qualify for unemployment insurance
Caves of the British Isles: a data visualization of caves across the UK
Source Checker: check whether links to scientific articles are legit
Remove Sponsored: a tool for removing sponsored posts on Facebook
Hacker News Tab: a Chrome extension to view HN in your new tab

open source contributions
Goose: a subset of Go with a semantics in Coq
Tree Sitter: an incremental parsing system for dev tools
Pfff: an OCaml API to write static analysis, dynamic analysis, etc.