Starred repositories
Custom Git commands and Bash scripts to streamline key operations—with a little help from ChatGPT
GPT wrapper for git — generate commit messages with an LLM in 1 sec — works best with Claude 3.5 — supports local models too
A new markup-based typesetting system that is powerful and easy to learn.
shUnit2 is a xUnit based unit test framework for Bourne based shell scripts.
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
An action that makes it easy to notify of a failed GitHub Actions workflow via an issue.
MCP Server for Aibolit Java Static Analyzer: Helping Your AI Agent Identify Hotspots for Refactoring
LaTeX Build Quality Control: checks the log file after LaTeX and finds error reports
Spell checking for LaTeX documents with the help of GNU aspell
Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions
User-friendly documentation for the SARIF file format.
An AI companion for reading papers.
JQF + Zest: Coverage-guided semantic fuzzing for Java.
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
A Model Context Protocol server for searching and analyzing arXiv papers
The official Typescript SDK for Model Context Protocol servers and clients
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
A Node.js style checker and lint tool for Markdown/CommonMark files.
Are your GitHub issues a chaotic mess of vague and boring titles like “Fix it” or “Doesn’t work”? This GitHub Actions plugin swoops in to help. It automatically scans all issues in a repository and…
Efficient translation tool based on ChatGPT or any OpenAI compatible LLM chat completion API
Specification and documentation for the Model Context Protocol
Lightweight coding agent that runs in your terminal