John Nagle

nqthm. nqthm - the original Boyer-Moore theorem prover, from 1992

pasv. The Pascal-F Verifier

ttyloopdriver. Hardware device for driving antique Teletype machines

lslutils. Utility scripts for Second Life, in Linden Scripting Language

rend3-hp. Fork of Rend3 because Rend3 has moved to maintenance mode.

ui-mock. Rust

baudotrss. BaudotRSS - RSS and SMS support for antique 5-bit Teletype machines

uarm_util. ROS (Robot Operating System) minimal support for the Evol UArm

certscan. SSL/TLS certificate analyzer for U. Michigan certificate scans

serde-llsd. Serialization library for Linden Lab Serial Data format. Rust Serde version.

render-bench. Rust

Impostor-maker. Blender impostor maker for creating Second Life content

rust-vulkan-bindless. Rust

rust-rssclient. Basic RSS/Atom client library for Rust.

technotes. Technical notes on Rust, graphics, and metaverses

impostormaker. Impostor construction tool for Second Life

llsd. Linden Lab Structured Data (LLSD) serialization

Overbot. Team Overbot source code from the 2005 Grand Challenge

maptools. Tools for manipulating Second Life / Open Simulator map data

firestorm-mods. Modifications to the Firestorm viewer for Second Life - test only

Sky-Pirate. The Sky Pirate, by Garrett P. Serviss, a serial from 1911 being recovered from old newspapers.

secondlife-mapping. 3D map visulalization for Second Life

SL-login-python. Second Life login and packet dump in Python. Fork of old project.