Stars
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
A simple alignment operator for Vim text editor
copy pasting in terminal with vimium/vimperator like hints.
LSP diagnostics in virtual text at the top right of your screen
Grist is the evolution of spreadsheets.
Shared data types for building collaborative software
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
An all in one plugin for converting text case in Neovim
Distro agnostic components for your Neovim heirline config
A vim plugin to use tabs for indentation and spaces for alignment
Performant, batteries-included completion plugin for Neovim
Collection of DOs and DON'Ts for modern Neovim Lua plugin development
Series of modern looking themes for SDDM.
Embed Neovim in Chrome, Firefox & others.
Self hosted Spotify tracking dashboard
Minimal implementations for dependent type checking and elaboration
Example flake for nixos-anywhere [maintainer=@Mic92]
This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.
null-ls.nvim reloaded / Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
A text searching plugin mimics Ctrl-Shift-F on Sublime Text 2
Gaining advanced insights from Git repository history.