Skills

• TypeScript, JavaScript (web and server)
• HTML/CSS, frameworkless design
• React, React Native, Redux
• Vue, Pinia, Vite
• Angular, RxJS
• PostgreSQL, SQLite, MongoDB
• nginx, Docker, Kubernetes, Linux system management
• Haskell, Ocaml, Standard ML, Coq
• Ruby, Crystal
• Swift, iOS native development
• Kotlin, Java, Android native development
• Python, Flask, SQLAlchemy

Personal Projects

• dotnetdll, a Rust library for .NET metadata; and dotnet-rs, a Rust implementation of the .NET Runtime.
• gkeybind, a Linux utility for rebinding Logitech keyboards.

Academic Projects

• Soundscape Saviors, an Android app demonstrating a neural network designed to denoise human speech.
  For UChicago's Mobile Computing course.
• genitive, a neural network designed to generate the genitive case of Russian nouns.
  For UChicago's Computational Linguistics course.