Portfolio

For those who like Wordle but also like crosswords, I made a game where you build a tiny crossword each day! Crosswordle is a daily crossword game. Inspired by games like Wordle, Scrabble, and Bana...

Spectre — Experimental SVG Editor Began working on a new side project I'm calling Spectre — it's an experimental SVG editor designed to help make the process of creating clean & minimal SVGs really...

Joined Polywork’s beta TestFlight app! 🎉

Infrared: Inferred static type checker for JavaScript Infrared is a developer tool that statically analyzes JavaScript projects and finds type errors. If you've ever used Flow before, this project ...

add-reason — ReasonML + JavaScript interoperability tool This is an easy-to-use CLI tool that helps you seamlessly interop ReasonML code with an existing JavaScript project. You tell us where your ...

chs — Chess in your terminal Spawned from my love for chess, I created an app to play chess against the Stockfish engine in your terminal. It ended up being a great tool for learning and practicing...

Meteorite: Smarter GitHub notifications “Smarter GitHub notifications. Organize and score notifications based on importance and relevance.” Meteorite is the solution for managing your GitHub notifi...

Why GitHub notifications make getting things done harder than it needs to be My quest to solving the world's most pressing issues: managing GitHub notifications. I talk about some ways that can hel...

Proving Type Soundness In A Simply Typed Lambda Calculus Evaluation contexts, typing rules, runtime semantic rules, and type soundness for a simply-typed lambda calculus with various traditional la...

Hack UMASS Mentorship Went down to the University of Massachusetts Amherst with a few teammates to represent Robin and help mentor teams on their projects! https://hackumass.com/

Loading...