Repository Index

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

• tla
• specifications
• model-checking
• verification

A collection of themes for kitty terminal 😻

• terminal-themes
• kitty-terminal
• kitty
• kitty-themes

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

• dap
• debug-adapter-protocol
• language-server-protocol
• lsp

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

• clojure
• clojurescript
• interactive-snippets
• javascript

Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.

• remix
• remix-ide
• solidity
• smart-contracts

Collaborator is a place to create with agents.

• agents
• ai
• claude-code
• codex-cli

🍀 Next-generation, purely functional package manager for the Emacs hacker.

• emacs
• package-manager
• version-control

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/

• artificial-intelligence
• data
• data-analysis
• data-science

:rose: A :cloud: ready IDE just for TypeScript :heart:

• typescript
• ide
• node

Collection of Alacritty color schemes

abolish.vim: Work with several variants of a word at once

Not UFO in the sky, but an ultra fold in Neovim.

• fold
• lua
• neovim
• neovim-lua

Collection of awesome color schemes for Neo/vim, merged for quick use.

• vim
• color-scheme
• nvim
• gvim

This is a repository of themes for GNU ls (configured via GNU dircolors) that support Ethan Schoonover’s Solarized color scheme.

• color-scheme
• solarized
• terminal
• theme

:art: Light & Dark Vim color schemes inspired by Google's Material Design

• vim
• theme

Your Neovim AI sidekick

• copilot
• neovim
• neovim-plugin
• nvim

AndroidStudio中文插件(官方修改版本）

• android-studio
• chinese
• plugins

Mirror of: https://codeberg.org/mfussenegger/nvim-lint An asynchronous linter plugin for Neovim complementary to the built-in Language Server Protocol support.

• neovim
• linter
• neovim-plugin
• syntax-checker

:heavy_plus_sign: Show a diff using Vim its sign column.

• vim
• neovim
• signs
• vcs

Conquer Any Code in VSCode: One-Click Comments, Conversions, UI-to-Code, and AI Batch Processing of Files! 在 VSCode 中征服任何代码：一键注释、转换、UI 图生成代码、AI 批量处理文件！💪

• ai
• copilot
• developer-tools
• llm

The fastest Neovim colorizer.

Gruvbox with Material Palette

• vim
• airline
• lightline
• theme

G'day Nvimer, Joyful Gopher: Explore the Feature-Packed Go Plugin for Neovim

• neovim
• nvim
• go
• golang

:computer: Terminal manager for (neo)vim

• neovim
• floating-window
• vim-terminal