Formal specification for Jolt zkVM continuations: Prose spec (requirements) + TLA+ (model checking) + Lean 4 (executable oracle). 30 verified security invariants.

Simple, Pythonic remote execution and deployment.

AWS CloudTrail Dashboard

extended % matching for HTML, LaTeX, and many other languages

vim config files

My Personal configuration files

An MVC framework for Drupal

The Bug Genie is a friendly project management and issue tracking tool

The Bug Genie was a friendly project management and issue tracking tool, now replaced by Pachno

Li3 Access Library

extended % matching for HTML, LaTeX, and many other languages

Provides a bunch of autocomplete snippets for Vim using snipMate.

💀 The former home of Homebrew/homebrew (deprecated)