47,133 repositories indexed
1–22 of 22 · Most stars
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Make your diffs human readable for improved code quality and faster defect detection. :tada:
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
ansible-lint checks playbooks for practices and behavior that could potentially be improved and can fix some of the most common ones for you
A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
Reflow automatically creates pull requests, ensures the code review is approved, and squash merges finished branches to master with a great commit message template.
Improvements for Ruby's IRB console 💎︎
Improved build system generator for CPython C, C++, Cython and Fortran extensions
Visual Studio Code extension for Rocq
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
This is the GitHub home of Race Into Space, the computer version of the Liftoff! board game by Fritz Bronner. It was developed by Strategic Visions and published by Interplay as a disk-based game in 1993 and a CD-ROM in 1994. It was open-sourced in 2005 and a number of improvements have been made over the original.
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
Well-formatted and improved trace system calls and signals (when the debugger does not help)
Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
Plugin that improves support for Github Actions files in Neovim.
Sitecore branded Windows Termial and VS Code Theme and Profile to unlock helpful tooling for working with XM Cloud such as autocompletion, command history list and directory improvements. However this Theme and profile is Sitecore independent and can be used with any terminal related work.
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
Pin AI Skill behavior. Block unapproved drift in CI. See exactly what changed in every PR.