Skip to content

Navigation Menu

Sign in
Sign up
@NateLevin1
NateLevin1
Follow

Nate Levin NateLevin1

CS @ Georgia Tech. Software engineering research and web application development.

Highlights

  • Pro

Block or report NateLevin1

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
NateLevin1 /README.md

Hi, I'm Nate Levin

I'm an undergraduate Computer Science student at Georgia Tech with a passion for software engineering research and building products that people love to use.

Currently, I'm working with researchers at Georgia Tech and IBM on applying LLMs to software testing, identifying weaknesses in coding agents and developing new approaches to improve them.

Previously, I presented my first-author research at ICSE 2025 and built BridgePractice, a Minecraft server I grew from 0 to 125,000+ players.

Selected Projects

  • Takuan — debugging flaky tests using dynamic invariant analysis
  • WATI — WebAssembly Text tooling for VS Code
  • BridgePractice — Minecraft games and infrastructure used by 125,000+ players

I'm always looking to learn, build, and make a difference on my team.

See more on my personal site: natelev.in

Pinned Loading

  1. takuan takuan Public

    Automatically diff victim+polluter invariants with victim invariants. For use with order-dependent flaky tests.

    Java 2

  2. flakewatch flakewatch Public

    Live tracking of flaky tests in large public repositories.

    TypeScript

  3. wati wati Public

    VSCode extension for autocomplete when writing WebAssembly Text (.wat) files

    JavaScript 33 2

  4. websystem websystem Public

    A web-based operating system taking advantage of bleeding edge web technologies.

    JavaScript 9 2

  5. natelev.in natelev.in Public

    The source to my personal site, https://natelev.in

    JavaScript

  6. bp-plugins bp-plugins Public archive

    The custom plugins behind the (now-defunct) BridgePractice Minecraft server

    Java 4

AltStyle によって変換されたページ (->オリジナル) /