Repository Index

Modular visual interface for GDB in Python

• subcommands
• gdb-command
• dashboard-styles
• gdb-commands

v1.2 - UI tool for manage Espressif ESP32 microcontrollers with embedded MicroPython for MacOS, Windows and Linux: mini IDE, files manager, REPL, real time dashboards (sys/net), advanced features (gpio/mp3/leds/...)

• esp32
• ide
• macos
• micropython

Interactive Coq Proofs in Vim

• coq
• vim
• proof-assistant

A low-glare Dracula-inspired VS Code theme with measured WCAG AA contrast, muted UI accents, and six-step bracket-depth highlighting.

• accessibility
• color-theme
• dark-theme
• dracula

MCP server that connects AI agents to your running Neovim instance via msgpack-RPC — no plugins required.

• ai
• claude
• codex
• cursor