A service for sending ebooks to a Kobo or Kindle ereader through the built-in browser

Lean 4 theorem proving skill and workflow pack for AI coding agents

A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.

Metaprogramming Rust in Python!

Towards Better Statistical Understanding of Watermarking LLMs

Lean Companion to the Category Theory in Context textbook by Emily Riehl

A Lean companion to Analysis I

Lean theorem proving interface which feels like pen-and-paper proofs.

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

LLM-powered system that discovered 62 zero-day vulnerabilities across 26 open source projects. 4th place, DARPA AIxCC.

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