π I am a CS + Math major at Cornell University concentrating in PL and ML
π» I am a software engineer at Cornell CMSX, where I work on improving a course management system used by over 8,000 students each semester
π Iβm currently working on LambdaScript, a functional programming language inspired by Haskell and OCaml
π± Iβm currently learning deep learning with PyTorch
Highlights
- Pro
Pinned Loading
-
LambdaScript
LambdaScript PublicAn interpreter for a functional, programming language with support for polymorphic ADTs, higher-kinded types, and more!
OCaml 4
-
-
HabitStack
HabitStack PublicA platform that allows users to track their habits and communicate with other users through servers.
TypeScript 2
-
CourseSphere
CourseSphere PublicA course recommendation system to help people select what courses to take in college.
-
-
Focus
Focus PublicA productivity software that uses machine learning to optimally schedule a user's tasks.
TypeScript
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.