John Nagle (John-Nagle)

John-Nagle

Geek Repo

Company:SiteTruth

Location:Silicon Valley

Home Page:http://www.sitetruth.com

Github PK Tool:Github PK Tool

John Nagle's repositories

nqthm

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

Language:Common LispLicense:GPL-3.0Stargazers:48Issues:5Issues:1

pasv

The Pascal-F Verifier

Language:Common LispStargazers:46Issues:8Issues:1

ttyloopdriver

Hardware device for driving antique Teletype machines

Language:AGS ScriptLicense:GPL-3.0Stargazers:43Issues:9Issues:8
Language:RustStargazers:16Issues:3Issues:0

baudotrss

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

lslutils

Utility scripts for Second Life, in Linden Scripting Language

certscan

SSL/TLS certificate analyzer for U. Michigan certificate scans

Language:GoStargazers:10Issues:4Issues:0

uarm_util

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

Language:PythonStargazers:9Issues:5Issues:0

Impostor-maker

Blender impostor maker for creating Second Life content

Language:PythonLicense:GPL-3.0Stargazers:6Issues:4Issues:0

rust-rssclient

Basic RSS/Atom client library for Rust.

Language:RustLicense:LGPL-2.1Stargazers:6Issues:3Issues:0
Language:RustLicense:LGPL-2.1Stargazers:5Issues:3Issues:0

llsd

Linden Lab Structured Data (LLSD) serialization

Language:RustLicense:LGPL-2.1Stargazers:3Issues:3Issues:0

serde-llsd

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

Language:RustLicense:LGPL-2.1Stargazers:3Issues:3Issues:1

impostormaker

Impostor construction tool for Second Life

Language:PythonLicense:GPL-3.0Stargazers:2Issues:3Issues:0

Overbot

Team Overbot source code from the 2005 Grand Challenge

Language:C++Stargazers:2Issues:3Issues:0

rend3-hp

Fork of Rend3 because Rend3 has moved to maintenance mode.

Language:RustLicense:Apache-2.0Stargazers:2Issues:0Issues:0

firestorm-mods

Modifications to the Firestorm viewer for Second Life - test only

Language:C++Stargazers:1Issues:4Issues:0

secondlife-mapping

3D map visulalization for Second Life

Language:PythonLicense:GPL-3.0Stargazers:1Issues:4Issues:2

Sky-Pirate

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

SL-login-python

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

Language:PythonStargazers:1Issues:3Issues:0

vehiclelogserver

Vehicle logging server for Second Life vehicles

Language:GoStargazers:1Issues:3Issues:0

adlimiter

Ad Limiter browser add-on

Language:JavaScriptStargazers:0Issues:3Issues:0

Blender-mesh-addons

Mesh manipulation in Blender, using Meshlab

Language:PythonLicense:GPL-3.0Stargazers:0Issues:3Issues:0

Blender-SL-utils

Various utilities for using Blender for creating Second Life objects

Language:PythonLicense:GPL-3.0Stargazers:0Issues:3Issues:0

jpeg2000-decoder

Decodes JPEG 2000 images in a subprocess, for safety

Language:RustLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

mapbox-gl-js

Emergency fork of Mapbox GL JS due to license change. Not maintained. Please use MapLibre instead.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:2Issues:0

rust-chrono

Date and time library for Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:3Issues:0

single_file_libs

List of single-file C/C++ libraries.

Stargazers:0Issues:3Issues:0

wgpu

Wgpu, test version for bug and performance fixes.

License:Apache-2.0Stargazers:0Issues:0Issues:0