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

Remote development in Neovim 🔥

Distro agnostic components for your Neovim heirline config

Graphite gtk theme

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.

A responsive One-Line CSS Theme for Firefox

Self hosted Spotify tracking dashboard

DashCast component for Home Assistant

Neovim support for the Lean theorem prover

Minimal implementations for dependent type checking and elaboration

Example flake for nixos-anywhere [maintainer=@Mic92]

My NixOS config

This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.

Very very old history of Vim (from v1.14 to v6.4)

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.

Emoji for everyone.

Build production-ready applications in TypeScript