Koffi Logo
May 2026–Present

Koffi

Creator
Koffi is a cross-platform framework and integrated ecosystem for Rust × Kotlin Multiplatform projects.
  • Designed solutions for interoperability between Rust and Kotlin code using various platform targets.
March 2026–May 2026

Kurou Pet

Mentor
Kurou Pet is an interactive desktop pet for staying focused on work and taking breaks to exercise.
  • Initiated meetings with my mentees to define technical requirements, project scope, and availability.
  • Organized the entire project timeline and milestone deadlines using industry work management tools.
January 2026–March 2026

Rubify

Creator
Rubify is a program made to automatically annotate any font with ruby characters.
  • Implemented annotations of ruby characters for the romanization of Mandarin Chinese and Japanese.
  • Published fonts compiled from multiple different families annotated with all supported romanizations.
  • Engineered a custom font collection builder and optimizations to manage distribution of large files.
ACM @ CCNY Logo
August 2024–May 2028

ccny.acm.org

Creator
ACM @ CCNY is a student-led computer science club and ACM college chapter at the City College of New York.
  • Board member of the Association for Computing Machinery chapter at the City College of New York.
  • Developed a workshop creation platform that features a website editor, multiple choice question games, synchronized slides presentations, and personal subdomains for individual students to host on.
  • Created entire website with a fully integrated admin dashboard used to create and manage club events.
March 2024–February 2025

Ezno

Contributor
Ezno is a fast and correct TypeScript type checker and compiler with additional experiments.
  • Resolved issues with property checking and subtype comparisons for class and object assignments.
  • Introduced initial support for regular expressions, focusing on constant string pattern evaluations.
  • Extended functionality of the language server to support use and development on multiple platforms.
Mnemo Logo
June 2023–Present

Mnemo

Creator
Mnemo is a local-first note-taking app leveraging the Typst ecosystem.
  • Implemented a custom rich text editor leveraging the Typst ecosystem for writing and styling notes.
  • Used mnemonic memory techniques to help users remember information and improve overall learning.
  • Created a builtin calendar and tasks manager deeply integrated with UI for faster reminder creation.
  • Developed cloud-based synchronization system that allows accessing notes across multiple devices.
Kaetram Logo
November 2019–January 2025

Kaetram

Core Developer
Kaetram was an open-source MMORPG game built with modern web standards and cutting-edge technologies.
  • Maintained the project as a core developer, working on the game engine and it’s multiple clients.
  • Managed a community of more than 4,000 users worldwide, and organized global development efforts.
  • Predominantly led the long-term development and maintenance of core game engine components, first introducing testing, linting, and documentation, improving game performance and stability.
May 2024–August 2024

synquid-rs

Creator
Synquid is a program synthesizer that uses refinement types to generate functional programs.
  • Reimplemented Synquid in Rust, improving overall performance of the original Haskell implementation.
LMT Logo
March 2024–June 2024

LMT

Creator
LMT is a proof-oriented meta-programming and specification language.
  • Designed a novel programming language and method of synthesizing program specifications from types.
April 2023–January 2024

avast

Creator
avast is an error reporting library that specializes in easy to read and write error construction.
  • Designed an ergonomic API for constructing and reporting errors in Rust applications.
February 2023–January 2024

re-set

Creator
re-set is a regular expression (regex) set compiler that validates and constructs regexes at compile-time.
  • Beat the performance of the regex crate in certain benchmarks when testing speed and memory usage.
  • Utilized compile-time pattern expansion to improve performance of matching string data at runtime.
Pyret Logo
April 2022–January 2024

pyret-rs

Creator
Pyret is an educational programming language originally developed at Brown University.
  • Ported the language to Rust, improving the overall performance and extensibility of the language.
  • Created a non-deterministic finite automaton (NFA) for regular expressions, taking advantage of compile-time pattern expansion to improve performance of matching string data at runtime.
  • Invented a new lexer and parser abstraction using the NFA, allowing for a more modular design.
MyBook Logo
November 2023

MyBook

Core Developer
MyBook was a website to automatically convert textbooks into study material, like flash cards, using AI.
  • Led the development of the project under a deadline, working on the frontend, backend, and database.
  • Used the Nougat OCR to parse and process the text, tables, and math of textbooks into study material.
My AFSE Logo
January 2018–May 2022

My AFSE

Creator
My AFSE was an application that helped students better navigate at the Academy for Software Engineering.
  • Provided students with a holistic view of their academic standing and visual areas for improvement.
  • Developed a web and mobile application that integrated grading systems, attendance tracking, class schedules, news, and events, improving student organization when better options were not available.
  • Adapted to remote learning by moving the community online and automating reminders for classes.
Switchcord Logo
May 2021–October 2021

Switchcord

Creator
Switchcord was a desktop application that allowed Discord Rich Presence for Nintendo Switch games.
  • Imported game data to Discord, allowing users to showcase their gameplay activity in real-time.
June 2021

discordo

Creator
discordo was a collection of BetterDiscord plugins, most notably, the DeveloperOptions plugin.
  • Created a plugin for developer options, allowing users to inspect elements and debug plugins/themes.
May 2020–September 2020

due

Creator
due was one of the first frameworks for Vue.js 3 built using Deno 1.
  • Developed a lightweight framework for building Vue.js 3 applications using Deno 1 and Skypack.
Iridis Logo
February 2020–February 2020

Iridis

Creator
Iridis was a Discord bot that was built using early artificial intelligence.
  • Built a Discord bot that used early artificial intelligence to respond to user messages.