Repository Index

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

A syntax-highlighting text editors that renders to an HTML5 Canvas

• javascript
• html5
• object-oriented
• computer-graphics

A Vim plugin that provides GraphQL file detection, syntax highlighting, and indentation.

• vim
• graphql
• graphql-schema
• neovim

Plugins for Rider/JetBrains IDEs, Addon for Godot

• addon
• dotnet
• gdscript
• godot

AI Vim/Neovim code generation plugin (OpenAI, ChatGPT, and more)

• code-generation
• neovim
• openai
• gpt-3

Syntax themes for the Godot Engine script editor

• godot
• godot-engine
• monokai
• solarized

A highly configurable neovim startup screen

• hacktoberfest
• hacktoberfest2021
• neovim-plugin
• neovim

A Neovim based strudel.cc controller, live coding using Strudel from Neovim.

• algorave
• coding
• live
• livecoding

A Vim Colorscheme

Handles bracketed-paste-mode in vim (aka. automatic `:set paste`)

A Common Lisp dev environment for Vim (and Neovim)

• vim
• common-lisp
• neovim

PHPStorm Plugin for Magento 2

• hacktoberfest
• phpstorm-plugin
• phpstorm
• java

ES2017, flow, React JSX and GraphQL grammar and transpilation for ATOM

• atom
• react
• jsx
• es5

A tool-use-focused LLM plugin for neovim.

Interactive, source-linked ML workflow diagrams written by your coding assistant (Copilot, Codex or Claude Code) and opened in VS Code.

• claude-code
• developer-tools
• machine-learning
• visualization

A Live Preview Plugin for Neovim that allows you to view Markdown, HTML (along with CSS, JavaScript), AsciiDoc, SVG files in a web browser with live updates.

• neovim-plugin
• lua
• neovim
• asciidoc

Fully hackable text editor developed for exact sciences with built-in KaTeX and AsciiMath support. Extensible via plugins and themes. Exportable as HTML, PDF and GFM.

• latex
• katex
• asciimath
• editor

pandoc markdown syntax, to be installed alongside vim-pandoc

Vim filetype and tools support for Crystal language.

• vim
• vim-plugin
• crystal
• syntax-highlighting

V Language extension for Visual Studio Code.

• v
• vlang
• vscode
• extension

Vim plugin for Ledger / Hledger

• vim
• vim-plugin
• ledger-cli
• ledger

🌊 Remixed Kanagawa colourschemes with muted colors.

• color-scheme
• neovim
• kanagawa
• ghostty-theme

An Emacs package to get GDScript support and syntax highlighting.

• emacs
• emacs-packages
• gdscript-mode
• godot

Command-line syntax highlighter