A native port of Lotus 1-2-3 to Linux.

Tests of VT340 compatibility

Emulate DEC LK201 keyboard using a standard PC USB keyboard

Official NetHack Git Repository

mobile client for the magic wormhole protocol

Cast macOS and Linux Audio/Video to your Google Cast and Sonos Devices

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

A work-in-progress language and compiler for verified low-level programming

Imageboard written in Ur/Web

A magic typeclass that just does it

Coq BPF interpreter

Falling sand game in cellular automata style.

Press Alt+Shift+D to duplicate the current tab (Option+Shift+D on Mac).

The MLton repository

ROCA: Infineon RSA key vulnerability

Abseil Common Libraries (C++)

Elsa is a lambda calculus evaluator

Reparent a running program to a new terminal

A LD_PRELOAD library to make any app support Random Standard Time.

Cryptographic Primitive Code Generation by Fiat

Sort of a 9p protocol, but much has been cleaned up. It's reasonably fast. I tested with RSC's fuse code but lost that bit!

Prevent your iSight from turning on without the green light also turning on.

FSCQ is a certified file system written and proven in Coq

The Ur/Web programming language

Shamelessly convert any Python 2 script into a terrible single line of code

A multi-protocol curses IM client.

Portable OpenSSH

Mobile Shell