Repository Index

A neovim plugin template for github repos

• neovim
• nvim
• plugin
• template

eBPF verifier based on abstract interpretation

• abstract-interpretation
• static-analyzer
• ebpf
• ebpf-verifier

The missing linter and lsp for AI coding assistants. Validate CLAUDE.md, AGENTS.md, SKILL.md, hooks, MCP. Plugin for all major IDEs included, with autofixes.

• agent
• ai
• ai-agents
• ai-coding-assistant

Managed Extensibility Framework (MEF) implementation used by Visual Studio

• mef
• visual-studio
• extensibility
• extensibility-engine

Build and execute GraphQL queries in the terminal.

Python-centric Cookiecutter for Molecular Computational Chemistry Packages

• cookiecutter
• python-packages
• molecular-sciences
• conda-environment

CMake scripts for painless usage of SuiteSparse+METIS from Visual Studio and the rest of Windows/Linux/OSX IDEs supported by CMake

• c-plus-plus
• suitesparse
• cmake

A node-steam plugin for Counter-Strike: Global Offensive.

• game-coordinator
• javascript
• csgo
• node-steam

Visual Studio Code extension for Rocq

• coq
• vscode
• vscode-extension
• editor

C++ package retrieval

• cmake
• cget
• pkgconfig
• cmake-packages

Context-based code search tool

• septum
• text
• search-in-text
• grep

Core rerun. See also http://github.com/rerun-modules

Build tool for Arch Linux providing control, review and jailed build options

• archlinux
• aur
• arch-user-repository
• namespaces

Reduce debugging time. Use static & stack-trace analysis to identify the error immediately.

• golang
• error-log
• debugging-tool

Grunt plugin to run Google PageSpeed Insights as part of CI

Simple Elixir wrapper for the GitHub API

• elixir
• github
• api
• http

A starter project for next js with authentication - Contains React 17 + Typescript + Tailwind CSS 2 + React Query 3 + GitHub Auth + LinkedIn Auth + Password-less Auth + Fauna DB + ESLint + Prettier + Husky

• vercel
• nextjs
• nextjs-starter
• nextjs-boilerplate

An Enhancement Suite for the CMake Build System

Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.

Language server implementation for Elm

• elm
• language-server-protocol
• language-server
• elm-lang

Reusable GitHub Actions source builds for jhaizhou-ops/d2r-mobile. Bring your own prepared game archive.

A build tool for PureScript projects

A static code analyser for annotated TODO comments

• go
• linters
• todo
• hacktoberfest

Performs advanced static analysis on PHP code