Skip to content
View lewisfm's full-sized avatar

Highlights

  • Pro

Organizations

@craftserverbot @vexide

Block or report lewisfm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lewisfm/README.md

Hey, I'm Lewis, and this is my GitHub profile. I'm a computer engineering student at Tufts University, interested in how we can enable computers to take action in the world around us by writing reliable programs.

This past summer, I was an embedded software engineering intern at Neuralink, where I worked on the implant's firmware. I built tools for debugging crashes, helped bring up the software for a new chip before its silicon was ready, and improved the test infrastructure around the firmware.

vexide Logo

Outside of work, I co-created and now maintain the robotics runtime vexide as well as the embedded thumbv7a-vex-v5 target built into the Rust programming language. In 2026, both finalist teams at the VEXU World Championship, the university division of the world's largest robotics competition, ran vexide, choosing it over the two established toolchains (VEXcode and PROS). Most recently I've been building v5gdb, a debugger that runs on the robot itself.

Generals Robotics Star Logo

Before college, I was the Programming Lead of the robotics team FRC 3636 "Generals Robotics" during their 2024/2025 season. During that time, I mentored team members to help them learn robotics programming and oversaw the development of the software for a competitive sports robot.

For more details about my work, take a look at my LinkedIn profile or personal website. If you have a question or would like to get in contact with me, feel free to send me a message either through LinkedIn or using the email address in my profile.

Pinned Loading

  1. vexide/vexide vexide/vexide Public

    Open-source Rust runtime for VEX V5 robots.

    Rust 87 23

  2. vexide/v5gdb vexide/v5gdb Public

    Debugger for VEX V5

    Rust 14 2

  3. vexide/vex-v5-qemu vexide/vex-v5-qemu Public

    CPU1-level user code emulation of the VEX V5 Brain in QEMU!

    Rust 50 14

  4. FRC3636/frc-2025 FRC3636/frc-2025 Public archive

    Robot code for the 2025 FRC Season, Reefscape

    Kotlin 6