uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

The Rust package manager

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

Dafny is a verification-aware programming language

Empowering everyone to build reliable and efficient software.

Volta: JS Toolchains as Code. ⚡

🔣 Compose Key for Windows

A cross-platform, OpenGL terminal emulator.

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Simple Python version management

A more maintainable, easier to share version of the infamous http:https://mindprod.com/jgloss/unmain.html

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

Run compilers interactively from your web browser and interact with the assembly

IdeaVim – A Vim engine for JetBrains IDEs

ShellCheck, a static analysis tool for shell scripts

The Python programming language

🎥 Command line video player

OBS Studio - Free and open source software for live streaming and screen recording

A solid language pack for Vim.

Universal markup converter

The hacker's browser.

Rofi: A window switcher, application launcher and dmenu replacement

Vim-fork focused on extensibility and usability

🌸 A command-line fuzzy finder

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.