pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

Just ask an otter! 🦦

Quarto mode for Neovim

C++ library for solving Hamilton-Jacobi equations and related PDEs using high-order numerical methods

A key remapping daemon for linux.

Type safe type safety for Typst

Open-source keyboard firmware for Atmel AVR and Arm USB families

A Lean companion to Analysis I

A powerful academic framework for typst

Static site generator(SSG) for typst

personal website powered by a Hakyll compiler that renders pages with Typst

AIxCC Cyber Reasoning System (CRS) that autonomously discovers and patches security vulnerabilities

Text threading and image wrap-around for Typst

Secret Forum

Interactive find-and-replace in the terminal

A Zsh theme

Neovim plugin for a code outline window

A scrollable-tiling Wayland compositor.

AI Pair Programming in Neovim

Navigate your code with search labels, enhanced character motions and Treesitter integration

A better user experience for viewing and interacting with Vim marks.

Recall refines the use of Neovim marks by focusing on global marks, streamlining their usage and enhancing their visibility and navigability.

Neovim's answer to the mouse 🦘

parrot.nvim 🦜 - the plugin that brings stochastic parrots to Neovim.

A launch point for your personal nvim configuration

Packages for Typst.

A simple plugin to add a Tmux-like zoom functionality to Neovim

A launch point for your personal nvim configuration