A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–16 of 16 · Most stars
Android Reverse-Engineering Workbench for VS Code
- apktool
- apk-decompiler
- apk-editor
- smali
Deepnote is a drop-in replacement for Jupyter with an AI-first design, sleek UI, new blocks, and native data integrations. Use Python, R, and SQL locally in your favorite IDE, then scale to Deepnote cloud for real-time collaboration, Deepnote agent, and deployable data apps. https://deepnote.com/
DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.
Lua IDE/Debugger Plugin for VSCode
- emmylua
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.
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.
A VS Code extension that re-creates Rebased, the standalone git client built on the IntelliJ platform.
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Theme from Chinese traditional color for IDE, Terminal, Agent, etc
An extension for the VS Code editor that provides Intellisense capabilities to your Aurelia project.
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
See what your AI coding agent is doing. Multi-provider assistant & session monitor for VS Code and the terminal — inline completions, code transforms, and a full TUI dashboard tracking tokens, cost, and context across Claude Code, OpenCode, and Codex. Switch between multiple Claude Code and Codex accounts.
- copilot-alternative
- inline-completion
- claude-code-cli
- code-reviews
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Android Malware Behavior Deleter
Lisp VSCode Extension
- common-lisp
- ide
- lisp
- programming-language