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.

Simple Python version management

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