#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere

PDFCraft is a free, privacy-focused PDF toolkit that runs entirely in your browser. With 90+ professional tools, you can edit, convert, merge, split, and secure your PDF files without ever uploadin…

Manage system config using nix on any distro

💤 A modern plugin manager for Neovim

Nix flake and overlay for ESP8266 and ESP32 development.

🧛🏻‍♂️ Dark theme for Vim

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Lean 4 programming language and theorem prover

Installs Nix on GitHub Actions for the supported platforms: Linux and macOS.

The Github Action for the Determinate Nix Installer

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

Automatically refresh your Nix Flakes.

Health checks for your Nix flakes

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

A markup-based typesetting system that is powerful and easy to learn.

💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.

Indent guides for Neovim

Break bad habits, master Vim motions

And I say hey, what's going on?

The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation with support for Snarkjs, Circom, and PLONKish backends.

Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.

Code for "Zero To Production In Rust", a book on API development using Rust.

Fullstack app framework for web, desktop, and mobile.

A post-modern modal text editor.

🤖 Just a command runner

Warp is an agentic development environment, born out of the terminal.

A terminal workspace with batteries included