Repository Index

A dark charcoal theme for modern Neovim & classic Vim

• vim
• neovim
• nvim
• vim-colorscheme

A dark midnight theme for modern Neovim & classic Vim

• vim
• neovim
• nvim
• kitty-themes

Classic Black Jack game in Neovim

A Neovim port of the classic blue theme from TextMate 💙

• neovim-plugin
• neovim
• neovim-colorscheme
• nvim

A Neovim plugin inspired by the classic Windows 3.1 game SkiFree

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic