Isaac Schwarz

Computer Science Student

Senior at Northern Arizona University.

Currently working on: NVMe testing with Rust and TLA+... and a reverse proxy in Go.

Projects

Go TypeScript Canvas

NYT RPG

A web-based RPG built around New York Times games. Backend powered by Go with gorilla/websocket; frontend built on Canvas and TypeScript.

Go

HttpGo

Core HTTP functionality written from scratch in Go. Multithreaded for handling concurrent requests. Currently adding reverse proxy functionality.

Rust TLA+

ConTiNGENT

An NVMe testing tool driven by formal specifications. Correct device behavior is described in TLA+, and a Rust execution engine issues commands against an NVMe device.

Rust WebAssembly

Vi

Vi editor implementation with core motions and modes, written in Rust and compiled to WebAssembly for use in web applications.