Michael Greenberg

ffs. the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

smoosh. The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

kmt. Kleene algebra modulo theories

trampoline. Safely running potentially non-terminating functions in Elm.

tmpl. Topic Modeling in Programming Languages

katbury. KAT rewriting using egg's e-graphs: KATbury Kreme egg

dts. Fritz Henglein and Jakob Rehof's '90s investigations into dynamic typing

phpenkoder. Mirror of https://plugins.trac.wordpress.org/browser/php-enkoder/. Wordpress plugin for obfuscating email addresses.

much. Multi-user Conference Hall, a text-based virtual environment for conferences

cypress. Cypress @ Stevens website

sleepwave. Timer with a grace period, for the "sleep wave" sleep training technique.

z3canary. Shell

st. Implementing Lindahl and Sagonas's "Practical Type Inference Based on Success Typings"

crossbars. Tools for word puzzles (like acrostics and crosswords)

conflict. Scheduling program committee meetings with conflicts of interest

literary_ebooks. A bot that tweets quotes from books

mgt. Implementation of "Migrating Gradual Types" by Campora et al.

boolopt. Optimization of boolean expressions in Python, via Quine-McCluskey

syscallnrs. Mappings from system call names to numbers (and vice versa)

mute. silence a command after the fact

idioms. Finding idioms in straight-line programs.