✅ Highlight, list and search todo comments in your projects

a delightful and customizable mostly monochrome colorscheme thats soft on the eyes and supports treesitter, lsp, and heaps of neovim plugins.

Inspired by oh-lucy theme in vscodium, with few tweaks!

Synthwave x Fluoromachine port for Neovim

A curated list of Wayland resources

A scrollable-tiling Wayland compositor.

An ambitious theme for vim

🗡️ Warm color scheme for Neovim and beyond

Support GitHub-style alerts for markdown-it

runcat system tray on Linux (using libappindicator)

Clean & Elegant Color Scheme inspired by Atom One and Material

Hyprpaper is a blazing fast wayland wallpaper utility with IPC controls.

A companion library for writing applications on Tezos (in OCaml)

🦉 🌌 Night Owl colorscheme implementation for Neovim with support for Treesitter and semantic tokens

Utility crates for interacting with tezos types (e.g. for Smart Rollup kernels)

Implementing a spatial model inspired by Material Shell, for i3 and sway.

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

Set a different wallpaper for the background of each Sway workspace

💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.

Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]

A collection of (almost) grayscale Emacs themes.

a structural diff that understands syntax 🟥🟩

A model checker for implementing distributed systems.

A simple raytracer written in Lean 4

Stacked Git

Yes, it's true 💜

simple sudoless X11 keylogger

Pixel-perfect visual alignment for Org and Markdown tables.

Highlight specified sets of characters, including whitespace