Sean B. Palmer

phenny. Python IRC bot

gin. Git index file parser, using python3

hedgehog. Concise implementation of a lisp-like language for low-end and embedded devices

saxo. Quick and flexible irc bot, extensible in any language

idris-bi. Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

tweetnacl-tools. Tools for using TweetNaCl

duxlot. Superseded by https://github.com/sbp/saxo

xoocycle. Xoocycle, a C90 implementation of the Xoodyak hash and AEAD construction

cadr. CADR Lisp Machine Simulator

cwm. CWM — A mirror of the W3C's Closed World Machine

octavo. Rich web editor in JavaScript, allowing WYSIWYG HTML5 editing

yosefk-forth. A FORTH using C as an intermediate language, by Yossi Kreinin.

jonesforth. JONESFORTH, by Richard W. M. Jones. Public domain software

lemacs. Archive of Lucid Emacs, containing all the releases from 19.0.00 to 19.10

static. The scariest zap node ever

fountain. Write an input stream to multiple output streams

simplesha3. Simple SHA-3 implementation that works in Python 2 and 3.

dic32. Data integrity checker

funs. The picolisp of python.

self.

mmm. Metamath Miscellanea!

jot. Static website CMS using python

pngwolf. `pngwolf` uses a genetic algorithm to find PNG scanline filter combinations that compress well

tangle. Checks the consistency of static websites

paginator. Creates isolated subpages within a webpage

scalable. jQuery plugin for vector image scaling user interface controls