🎯
Coding
I'm a recent Cornell CS grad. I love type theory and building tools that really help people. Interests: Rust, OCaml, Coq/Z3.
Popular repositories Loading
-
-
projecteuler
projecteuler PublicVarious scripts and programs I write to compute <https://projecteuler.net/> project euler problems.
Python
-
spring20webdev
spring20webdev PublicStuff I made for a web development class I took in Spring 2020 with Cornell DTI.
-
notefacts
notefacts PublicNotefacts, an app that helps you organize your ideas while writing.
JavaScript
-
-
m-interpreter
m-interpreter PublicAn interpreter I am writing to sharpen my understanding of programming languages and compilers.
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.