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 custom Typst-based static site generator

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

simple terminal UI for git commands

Transforms complex documents like PDFs into LLM-ready markdown/JSON for your Agentic workflows.

Python client for GROBID Web services

An extremely fast Python package and project manager, written in Rust.