John-Nagle

DARPA Grand Challenge team leader, 2005. MSCS, Stanford. The Nagle Algorithm in TCP.

SiteTruthSilicon Valley

Pinned Repositories

baudotrss
BaudotRSS - RSS and SMS support for antique 5-bit Teletype machines
Language:Python12 5 12
certscan
SSL/TLS certificate analyzer for U. Michigan certificate scans
Language:Go10 4 00
Impostor-maker
Blender impostor maker for creating Second Life content
Language:Python6 4 00
lslutils
Utility scripts for Second Life, in Linden Scripting Language
Language:LSL12 8 410
nqthm
nqthm - the original Boyer-Moore theorem prover, from 1992
Language:Common Lisp46 5 17
pasv
The Pascal-F Verifier
Language:Common Lisp46 8 14
rust-rssclient
Basic RSS/Atom client library for Rust.
Language:Rust6 3 00
ttyloopdriver
Hardware device for driving antique Teletype machines
Language:AGS Script42 9 87
uarm_util
ROS (Robot Operating System) minimal support for the Evol UArm
Language:Python9 5 01
ui-mock
Language:Rust16 3 00

John-Nagle's Repositories

John-Nagle/nqthm
nqthm - the original Boyer-Moore theorem prover, from 1992
Language:Common Lisp46 5 17
John-Nagle/pasv
The Pascal-F Verifier
Language:Common Lisp46 8 14
John-Nagle/ttyloopdriver
Hardware device for driving antique Teletype machines
Language:AGS Script42 9 87
John-Nagle/ui-mock
Language:Rust16 3 00
John-Nagle/baudotrss
BaudotRSS - RSS and SMS support for antique 5-bit Teletype machines
Language:Python12 5 12
John-Nagle/lslutils
Utility scripts for Second Life, in Linden Scripting Language
Language:LSL12 8 410
John-Nagle/certscan
SSL/TLS certificate analyzer for U. Michigan certificate scans
Language:Go10 4 00
John-Nagle/uarm_util
ROS (Robot Operating System) minimal support for the Evol UArm
Language:Python9 5 01
John-Nagle/Impostor-maker
Blender impostor maker for creating Second Life content
Language:Python6 4 00
John-Nagle/rust-rssclient
Basic RSS/Atom client library for Rust.
Language:Rust6 3 00
John-Nagle/render-bench
Language:Rust4 3 01
John-Nagle/llsd
Linden Lab Structured Data (LLSD) serialization
Language:Rust3 3 0
John-Nagle/serde-llsd
Serialization library for Linden Lab Serial Data format. Rust Serde version.
Language:Rust3 3 11
John-Nagle/Overbot
Team Overbot source code from the 2005 Grand Challenge
Language:C++2 3 0
John-Nagle/firestorm-mods
Modifications to the Firestorm viewer for Second Life - test only
Language:C++1 4 0
John-Nagle/impostormaker
Impostor construction tool for Second Life
Language:Python1 3 01
John-Nagle/secondlife-mapping
3D map visulalization for Second Life
Language:Python1 4 2
John-Nagle/Sky-Pirate
The Sky Pirate, by Garrett P. Serviss, a serial from 1911 being recovered from old newspapers.
Language:HTML1 3 11
John-Nagle/SL-login-python
Second Life login and packet dump in Python. Fork of old project.
Language:Python1 3 01
John-Nagle/vehiclelogserver
Vehicle logging server for Second Life vehicles
Language:Go1 3 0
John-Nagle/adlimiter
Ad Limiter browser add-on
Language:JavaScript3 0
John-Nagle/Blender-mesh-addons
Mesh manipulation in Blender, using Meshlab
Language:Python3 0
John-Nagle/Blender-SL-utils
Various utilities for using Blender for creating Second Life objects
Language:Python3 0
John-Nagle/jpeg2000-decoder
Decodes JPEG 2000 images in a subprocess, for safety
Language:Rust2 01
John-Nagle/mapbox-gl-js
Emergency fork of Mapbox GL JS due to license change. Not maintained. Please use MapLibre instead.
Language:JavaScript2 0
John-Nagle/rend3-hp
Fork of Rend3 because Rend3 has moved to maintenance mode.
Language:Rust
John-Nagle/rust-chrono
Date and time library for Rust
Language:Rust3 0
John-Nagle/single_file_libs
List of single-file C/C++ libraries.
3 0
John-Nagle/wgpu
Wgpu, test version for bug and performance fixes.