John-Nagle/nqthm John-Nagle/nqthm

  • Stars
    star
    49
  • Rank 585,874 (Top 12 %)
  • Language
    Common Lisp
  • License
    GNU General Publi...
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
John-Nagle/nqthm
github

John-Nagle

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

pasv

The Pascal-F Verifier
Common Lisp
46
star
2

ttyloopdriver

Hardware device for driving antique Teletype machines
AGS Script
43
star
3

ui-mock

Rust
16
star
4

lslutils

Utility scripts for Second Life, in Linden Scripting Language
LSL
13
star
5

baudotrss

BaudotRSS - RSS and SMS support for antique 5-bit Teletype machines
Python
12
star
6

certscan

SSL/TLS certificate analyzer for U. Michigan certificate scans
Go
10
star
7

uarm_util

ROS (Robot Operating System) minimal support for the Evol UArm
Python
9
star
8

rust-rssclient

Basic RSS/Atom client library for Rust.
Rust
6
star
9

Impostor-maker

Blender impostor maker for creating Second Life content
Python
6
star
10

render-bench

Rust
5
star
11

serde-llsd

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

llsd

Linden Lab Structured Data (LLSD) serialization
Rust
3
star
13

Overbot

Team Overbot source code from the 2005 Grand Challenge
C++
2
star
14

impostormaker

Impostor construction tool for Second Life
Python
2
star
15

secondlife-mapping

3D map visulalization for Second Life
Python
1
star
16

vehiclelogserver

Vehicle logging server for Second Life vehicles
Go
1
star
17

SL-login-python

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

firestorm-mods

Modifications to the Firestorm viewer for Second Life - test only
C++
1
star
19

Sky-Pirate

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