neovim frontend for opencode - a terminal-based AI coding agent
Neovim interface for pi
Neovim support for the Lean theorem prover
Catalyze your Fenced Markdown Code-block editing!
website
A data index and query language over Markdown files, for https://obsidian.md/.
An interactive and powerful Git interface for Neovim, inspired by Magit
Lean 定理证明
Simplified educational python plonk implementation
