Early experiments fuzzing the Lean theorem-prover.

A playground for a global prompt for working with Claude Code and similar AI systems.

Formalizing DOT calculus (and extensions) in PLT Redex

Interprocedural Distributive Environment algorithm implementation

Retrieving URLs from APK files

Adding extensions to DOT calculus

A simple self-hosted image gallery written in React using Scala + Servlets on the backend.

uMonitor is a configurable and scriptable monitor of internet services.

An asynchronous CodeMirror lint plugin that will receive code, send it to a callback (that can send it somewhere via Ajax, etc..), and apply any discovered errors on return.