Repository Index

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

📊⌨️ Update a pinned gist to contain your latest TypeRacer races

• typeracer
• pinned-gist
• github-gist
• gistbox

Plugin that improves support for Github Actions files in Neovim.

• github-actions
• neovim
• neovim-plugin
• parser

GitHub Action to build Docker images with outbound network access restricted to an allowlist

Set up your GitHub Actions workflow with a specific version of Tor

• actions
• github-actions
• tor
• setup

PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.

• cli
• database
• ddl
• devops

✅ Update a pinned gist to contain your Todoist stats

• gistbox
• github-actions
• pinned-gist
• todoist

Pin AI Skill behavior. Block unapproved drift in CI. See exactly what changed in every PR.

• ai
• ai-skills
• apache-2
• claude-code

🗓 Update a pinned gist to contain your anniversaries and countdown days (or hours).

• github-actions

Run `dub upgrade` trying to repeat on network failure and using package cache on GitHub Actions

Safety-first PostgreSQL migration engine for Node.js — advisory locks, drift detection, checksum verification, 10 lint rules, CLI, and GitHub Action

• advisory-locks
• cli
• database
• devops

VertaaUX CLI — UX, accessibility, and conversion audits from the terminal (npm: @vertaaux/cli)

• a11y
• accessibility
• axe-core
• ci-cd

GitHub Action: screenshot two URLs and post a visual diff as a PR comment. Free visual regression testing.

• ci-cd
• github-actions
• puppeteer
• screenshot-diff