Túngumál gögn fyrir Íslenskt villuleit í Vim.

Logical manifestations of topological concepts, and other things, via the univalent point of view.

🦀 Supercharge your Rust experience in Neovim! A heavily modified fork of rust-tools.nvim

Semi-automated conformance checking for IRC implementations (RFC1459/RFC2812, the "modern spec" by ircdocs, and IRCv3)

IRC Today fork of https://codeberg.org/emersion/goguma

A neat notification daemon

The Traditional Chinese Edition of LXGW WenKai.

An interactive and powerful Git interface for Neovim, inspired by Magit

A free font family derived from setofont. 瀨戶字體的繁體中文補字計畫

芫荽，基於 Klee One 改造的學習用台灣繁體字型

A web browser that plays old world blues to build new world hope

Display references, definitions and implementations of document symbols

Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory

a simple Wayland output mirror client

Widevine CDM installer for aarch64 systems

A wiki for collaborative work on totally legitimate "category theory"

Find LaTeX symbols

Total Parser Combinators in Agda

Interactive holes for Lean 4

Reverse engineered bluetooth protocol for Ember Mugs

🖼️ Bringing images to Neovim.

Photo gallery for self-hosted personal servers

A set of bee emojis.

Hatsune Miku Cursors for Windows/Linux!

A minimalistic opinionated Mastodon web client

A GUI frontend for neovim.

Manage your dotfiles across multiple diverse machines, securely.

A language server for TeX and friends