John Nagle

icon indicating a website link http://www.sitetruth.com icon indicating an email [email protected]

icon company SiteTruth icon location Silicon Valley icon location DARPA Grand Challenge team leader, 2005. MSCS, Stanford. The Nagle Algorithm in TCP.

Results 3 repositories owned by John Nagle

nqthm

43
Stars
7
Forks
Watchers

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

verified publisher icon John-Nagle

pasv

43
Stars
4
Forks
Watchers

The Pascal-F Verifier

verified publisher icon John-Nagle

ttyloopdriver

39
Stars
7
Forks
Watchers

Hardware device for driving antique Teletype machines

verified publisher icon John-Nagle