Repository Index

Android Reverse-Engineering Workbench for VS Code

• apktool
• apk-decompiler
• apk-editor
• smali

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.

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Visual Integration Designer for Apache Camel

• camel
• camel-k
• apache-camel
• integration

TakaTime is a blazingly fast, privacy-first coding activity tracker and the open-source, self-hosted alternative to WakaTime. Track your development activity across Neovim, VS Code, JetBrains IDEs, and Antigravity while generating rich analytics, beautiful dashboards, and GitHub profile statistics—all powered by your own MongoDB database.

• github-actions
• golang
• lua
• neovim

A Python type explainer!

The Design Tokens Multitool. CLI and go library; LSP and MCP; Generator and converter

• cli
• design-systems
• design-tokens
• go

VSCode extension that generates barrel files for Dart projects

• barrel-files
• dart-barrel
• vscode-extension
• vscode

fast, auto-fixing Markdown linter and formatter. Checks style, readability, structure, and cross-file integrity.

• golang
• linter
• markdown
• ai-generated-code

ant design pro service,mock,model generator

• ant
• design
• pro
• dva