lemueldls.pages.dev Open in urlscan Pro
188.114.96.3  Public Scan

Form analysis
0 forms found in the DOM

Text Content

Lemuel De Los Santos

SystemLightDark



LEMUEL DLS




LEMUEL DE LOS SANTOS

New York, NY • lemueldls@pm.me • lemueldls.dev


EDUCATION


THE CITY COLLEGE OF NEW YORK

From August 2022 to May 2028
Bachelor of Science in Computer Science


ACADEMY FOR SOFTWARE ENGINEERING

From September 2018 to June 2022
High School Diploma
Honors & Awards: The Computer Science Master Engineer Award


EXPERIENCE


PENN REPL

penn-repl.github.io From May 2024 to August 2024
Penn REPL is a research experience in programming languages for undergraduates
pursuing a PhD.
Git GitHaskell Haskell RocqOCaml OCamlRust RustPython PythonC++ C++
   
 * Learned the fundamentals of theoretical computer science and many kinds of
   lambda calculi.
 * Worked with leading researchers in the field to develop new methods for
   property-based testing.
 * Taught complex ideas to undergraduates, post-graduate students, and
   professors in the field.
   


THE RECURSE CENTER

recurse.com From June 2022 to August 2022
The Recurse Center is a highly selective, self-directed, educational retreat for
programmers.
HTML5 HTML5CSS3 CSS3TypeScript TypeScriptRust Rust
   
 * Focused on improving technical and speaking skills supporting a community of
   developers.
 * Hosted topics such as End-to-End Testing for web applications, and innovative
   procedurally generated patterns and type-level abstractions, teaching
   concepts to industry professionals.
   


WOVEN BY TOYOTA

woven.toyota From January 2022 to March 2022
Woven by Toyota is a company that builds a platform for mobility and location
intelligence.
Git GitAWS Lambda AWS LambdaPostgreSQL PostgreSQLMapbox MapboxHTML5 HTML5CSS3
CSS3JavaScript JavaScriptVue.js Vue.jsPython Python
   
 * Developed a responsive analytics dashboard that identifies real-world changes
   and events while on the road for autonomous vehicles, and new back-end
   services to manage and process data.
 * Presented solutions to issues within existing wireframe diagrams and user
   interface designs.
   


PROJECTS


MNEMO

github.com/lemueldls/mnemo From June 2021 to Present
[M]nemo is a note-taking application that helps users format and remember
information effectively.
Git GitCloudflare CloudflareTauri TauriNuxt.js Nuxt.jsUnoCSS UnoCSSTypeScript
TypeScriptSass SassVue.js Vue.jsRust RustTypst Typst
   
 * Implemented a custom rich text editor, using the Typst ecosystem for writing
   and styling notes.
 * Uses mnemonic memory techniques to help users remember information, and
   improve learning.
 * Created a custom language server for the editor, allowing for syntax
   highlighting and completion.
   


KAETRAM 1.X

github.com/Kaetram From November 2019 to January 2024
Kaetram was an open-source MMORPG game built with modern web standards and
technologies.
Git GitMongoDB MongoDBCypress CypressAstro AstroNode.js Node.jsHTML5 HTML5CSS3
CSS3Sass SassJavaScript JavaScriptTypeScript TypeScript
   
 * Maintained the project as a core developer, working on the game engine and
   it's multiple clients.
 * Built internal solutions to improve the development cycle, resulting in more
   efficient workflows.
 * Managed a community of more than 1,000 users worldwide, and organizing
   development efforts.