A ready-to-use Lean 4 template preconfigured with Mathlib, DevContainers, and AI agent standards

Runs a minimal Factorio server in Docker

An all-in-one executable to automatically update and run a Factorio server

Embed files from a directory in a Rust binary as a hashmap

Runs a V Rising server on Linux using Wine in Docker

A drop-in database migration library in Rust for PostgreSQL

A single script to configure Debian 13 across devices

Run llama.cpp in a GPU accelerated Docker container

A custom user.js script to configure Firefox user, privacy and security settings.

A tiny database connection pooling library for PostgreSQL

A small and scriptable process supervisor for containers using Rust and Lua.

A tiny Windows program to run as Trusted Installer

A tiny Postgres extension to create version 7 UUIDs

CSVs of the Huggingface and LMArena LLM leaderboards, along with the code to generate them in Python and R.

A SvelteKit 2 and Tailwind CSS template with a few other defaults.

A minimal Astro and Tailwind CSS template.

Runs a minimal Gitea Docker deployment built on Debian 12

Run Jellyfin as a docker-compose service

Run the official Stable Diffusion releases in a Docker container with txt2img, img2img, depth2img, pix2pix, upscale4x, and inpaint.

Assets for other repositories

A Rust program to generate a CHANGELOG.md from semantic git commits

A simple userChrome for Firefox that restores connected tabs, visual dividers, and the focused tab highlight.

An analysis in R of the NHTSA data on infant and child car seats

An analysis of Supreme Court decisions in R to see how often they are overturned

A tiny C program to create valid Postgres scram-sha-256 passwords

An example of public key authenticated encryption in Rust

An extremely straightforward implementation of FizzBuzz in Rust

Set it and forget it -- throw it in a C/C++ project and type `make`

Microarray Analysis of Differential Expression