Projects
BeaversCode.club
Beavers Code is a student-led computer science club, at the City College of New York, with leaders from ACM and GDGC. Link: github.com/lemueldls/beaverscode.club Role: Creator Date: From August 2024 to Present
Technologies:
Contributions: React
CSS3
TypeScript
Next.js
Tailwind CSS
Supabase
Convex
Git
- Founding member of Beavers Code, the new ACM chapter at CCNY, leading technical development efforts.
- Created entire website with a fully integrated admin dashboard used to create and update club events.
- Developed an original workshop creation platform with live coding and individual user website hoster.
synquid-rs
Synquid is a program synthesizer that uses refinement types to generate functional programs. Link: github.com/lemueldls/synquid-rs Role: Creator Date: From May 2024 to August 2024
Technologies:
Rust
Haskell
Git
Ezno
Ezno is a fast and correct TypeScript type checker and compiler with additional experiments. Link: github.com/kaleidawave/ezno Role: Contributor Date: From March 2024 to Present
Technologies:
Contributions: Rust
TypeScript
Git
- Resolved issues with property checking and subtype comparisons for class and object assignments.
- Introduced initial support for regular expressions, focusing on constant string pattern evaulations.
- Extended functionality of the language server to support use and development on multiple platforms.
Spot Pet Market
Spot Pet Market is a marketplace for pets, where users can buy and sell multiple kinds and breeds of pets. Link: spotpetmarket.com Role: Founding Developer Date: From June 2023 to Present
Technologies:
Contributions: TypeScript
Sass
Vue.js
Nuxt
Tailwind CSS
Supabase
Stripe
PWA
Git
- Processed and localized information about multiple kinds and breeds of pets into a common database.
[M]nemo
[M]nemo is a note-taking application that helps users format and remember information effectively. Link: github.com/lemueldls/mnemo Role: Creator Date: From June 2023 to Present
Technologies:
Contributions: Sass
TypeScript
Vue.js
Rust
Typst
CodeMirror
Nuxt
UnoCSS
Tauri
Git
Cloudflare
- 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.
avast
avast is an error reporing library that specializes in easy to read and write error construction. Link: github.com/lemueldls/avast Role: Creator Date: From April 2023 to May 2023
Technologies:
Rust
Git
re-set
re-set is a regular expression (regex) set compiler that precontructs and validates regexes at at compile-time. Link: github.com/lemueldls/re-set Role: Creator Date: From February 2023 to April 2023
Technologies:
Rust
Git
pyret-rs
Pyret is an educational programming language originally developed at Brown University. Link: github.com/lemueldls/pyret-rs Role: Creator Date: From April 2022 to January 2024
Technologies:
Contributions: Pyret
Rust
WebAssembly
TypeScript
Git
- 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
Kaetram was an open-source MMORPG game built with modern web standards and cutting-edge technologies. Link: github.com/Kaetram Role: Core Developer Date: From November 2019 to January 2024
Technologies:
Contributions: HTML5
CSS3
Sass
JavaScript
TypeScript
Node.js
Vite
Astro
MongoDB
Cypress
Git
- 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
MyBook was a website to automatically convert textbooks into study material, like flash cards, using AI. Link: github.com/lemueldls/mybook.study Role: Core Developer Date: From November 2023 to November 2023
Technologies:
React
Vite
UnoCSS
Firebase
My AFSE
My AFSE was an application that helped students better navigate at the Academy for Software Engineering. Link: github.com/lemueldls/my_afse Role: Creator Date: From January 2018 to May 2022
Technologies:
Contributions: Dart
HTML5
TypeScript
Vue.js
Kotlin
Swift
Flutter
Nuxt
Deno
Firebase
Git
- 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
Switchcord was a desktop application that allowed Discord Rich Presence for Nintendo Switch games. Link: github.com/lemueldls/switchcord Role: Creator Date: From May 2021 to Oct 2021
Technologies:
Vue.js
Vuetify
Material Design
Material Design Icons
Nuxt
Electron
Discord
discordo
discordo was a collection of BetterDiscord plugins, most notably, the DeveloperOptions plugin. Link: github.com/lemueldls/discordo Role: Creator Date: From June 2021 to June 2020
Technologies:
TypeScript
Discord
BetterDiscord
due
due was one of the first frameworks for Vue.js 3 built using Deno 1. Link: github.com/lemueldls/due Role: Creator Date: From May 2020 to September 2020
Technologies:
TypeScript
Vue.js
Deno
Skypack
Iridis
Iridis was a Discord bot that used artificial intelligence; "Siri's long lost Brother". Link: github.com/lemueldls/iridis Role: Creator Date: From February 2020 to February 2020
Technologies:
JavaScript
Discord