Martin Kinoo's starred repositories
coq-of-rust
Check 100% of execution cases of Rust programs π¦ to make applications with no bugs! βοΈ π βοΈ π¦ Formal verification
franken-ui
Franken UI is an HTML-first, open-source library of UI components that works as a standalone or as a Tailwind CSS plugin. It is compatible with UIkit 3. The design is influenced by shadcn/ui.
git-dev.nvim
Open remote git repositories in the comfort of Neovim.
cyberdream.nvim
π€π€ High-contrast, Futuristic & Vibrant Coloursheme for Neovim
yanky.nvim
Improved Yank and Put functionalities for Neovim
overseer.nvim
A task runner and job management plugin for Neovim
zmk-config-mikefive
ZMK Config files for my own shield design
pantran.nvim
Use your favorite machine translation engines without having to leave your favorite editor.
monet.nvim
Neovim theme inspired by Claude Monet's iconic water lilies
neo-tree-harpoon.nvim
Show Harpoon buffers in a neo-tree panel
hardtime.nvim
A Neovim plugin helping you establish good command workflow and quit bad habit
pragmatic-drag-and-drop
Fast drag and drop for any experience on any tech stack
atomic-layout
Build declarative, responsive layouts in React using CSS Grid.
typescript-tools.nvim
β‘ TypeScript integration NeoVim deserves β‘
diagflow.nvim
LSP diagnostics in virtual text at the top right of your screen
whaler.nvim
Telescope extension to change between directories blazingly fast
jsonfly.nvim
β΄π¦β΅ Fly through your JSON files with ease. Search β¨ blazingly fast β¨ for keys via Telescope.
vim-inkscape-insert
Plugin for inserting inkscape drawings in markdown files
tabgaze.nvim
basically harpoon for tabs