Repository Index

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

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

Monitor GitHub repositories for new releases.

• preact
• react
• typescript
• create-react-app

Homework Help Discord Bot - https://hwhelp.github.io/

• nodejs
• discordjs

📌 Update a pinned gist to contain your latest activity from MyAnimeList

• github
• anime
• myanimelist
• gist

⚡️📌 Update a pinned gist to show your latest GitHub activity (issues and PRs).

• gist
• pinned-gist
• activity

💬 Lightweight AlgoChat client for corvid-agent — GitHub Pages hosted

• algochat
• algorand
• blockchain
• encrypted-messaging

💻📌 Update a pinned gist to show your most used languages

• gist
• pinned-gist

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

💻 Update a pinned gist to contain languages of your recent commits in GitHub

• gists
• github
• github-pro
• linguist