- Godot Engine Git React CSS3 TypeScript Next.js Tailwind CSS Supabase Convex Rust Sass Vue.js Nuxt Stripe PWA Vercel Typst CodeMirror UnoCSS Tauri Cloudflare Haskell Pyret WebAssembly HTML5 JavaScript Node.js Vite Astro MongoDB Cypress Python Ant Design Firebase Dart Kotlin Swift Flutter Deno Vuetify Material Design Material Design Icons Electron Discord BetterDiscord Skypack
Kaetram 2.x
Core Developer, January 2025 to PresentKaetram is a cross-paltform MMORPG game built using the Godot game engine.
- Managing a community of more than 4,000 users worldwide, organizing global development efforts.
BeaversCode.club
Creator, August 2024 to PresentBeavers Code is a student-led computer science club and ACM college chapter at the City College of New York.
- Board member of Beavers Code, the ACM chapter at CCNY, managing technical development efforts.
- 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.
Ezno
Contributor, March 2024 to PresentEzno 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.
Spot Pet Market
Founding Developer, June 2023 to PresentSpot Pet Market is a marketplace for pets, where users can buy and sell multiple breeds and kinds of pets.
- Processed and localized information about multiple breeds and kinds of pets into a common database.
[M]nemo
Creator, June 2023 to Present[M]nemo is a note-taking application that helps users format and remember information effectively.
- Implemented a custom rich text editor, using 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 system, deeply integrated with UI for faster reminder creation.
- Developed cloud-based synchronization system, allowing access to notes across multiple devices.
synquid-rs
Creator, May 2024 to August 2024Synquid is a program synthesizer that uses refinement types to generate functional programs.
avast
Creator, April 2023 to May 2023avast is an error reporting library that specializes in easy to read and write error construction.
re-set
Creator, February 2023 to April 2023re-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-rs
Creator, April 2022 to January 2024Pyret 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.
Kaetram 1.x
Core Developer, November 2019 to January 2024Kaetram 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 1,000 users worldwide, and organized global development efforts.
- Predominantly led the long-term development and maintenance of core game engine components, primarily through testing, linting, and documentation, improving game performance and stability.
MyBook
Core Developer, on November 2023MyBook 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
Creator, January 2018 to May 2022My 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
Creator, May 2021 to October 2021Switchcord was a desktop application that allowed Discord Rich Presence for Nintendo Switch games.
discordo
Creator, on June 2021discordo was a collection of BetterDiscord plugins, most notably, the DeveloperOptions plugin.
due
Creator, May 2020 to September 2020due was one of the first frameworks for Vue.js 3 built using Deno 1.
