Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits

Free and Open Source Enterprise Resource Planning (ERP)

AI Skills for Antithesis Users

PowerPoint toolbar to streamline slide creation and editing.

Free and open source consulting-style Powerpoint toolbar

programs written in Picat

Simple powershell menu to render interactive console menu

An empirical analysis of the efficiency of mypy to catch bugs in open source repositories

A maintained extension collection for Inkscape, working on Windows and Linux

Standalone Office Open XML files (Microsoft Office 2007 and later) generator for Word (docx), PowerPoint (pptx) and Excell (xlsx) in javascript. The output is a stream.

Build PDFs from your Sphinx documentation using Typst

Assets for the book "Logic for Programmers"

Weakening Goals in Logical Specifications — ABZ 2025 paper

TLA+ Foundation

Export NetworkX graphs to TikZ directly

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

Raku Slang::Date module to add literal dates

Record history of your ActiveRecord models via append-only tables

Various AutoHotkey scripts I've made

Copies of my 'Script Center' and 'Technet Gallery' publications

Chess-related stuff in raku

lightweight property graph as javascript module

Network Analysis in Python

🕵️‍♂️ Collect a dossier on a person by username from 6K websites

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

RGL is a framework for graph data structures and algorithms in Ruby.

A directed multi-graph library for JavaScript