Command-line program to download videos from YouTube.com and other video sites

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

ShellCheck, a static analysis tool for shell scripts

🎥 Command line media player

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merg…

Quake III Arena GPL Source Release

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network…

A massively spiffy yet delicately unobtrusive compression library.

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

🍊 Clementine Music Player

A fast and lightweight IDE

TLP - Optimize Linux Laptop Battery Life

A versatile (cross-)toolchain generator.

Official repository for the ZNC IRC bouncer

The expl3 (LaTeX3) Development Repository

💻 🔒 🔑 Secure Boot key manager

C++ library for zkSNARKs

C++ library to develop competitive programming problems

Blueman is a GTK+ Bluetooth Manager

Sandbox for securely executing untrusted programs

Computing with traps

Android udev rules list aimed to be the most comprehensive on the net

Pony rewrite of cowsay.

A Chrome extension that makes YouTube stream H.264 videos instead of VP8/VP9 videos

Full-blown preprocessor metaprogramming

Contest Management System

AUR helper with minimal dependencies. Review PKGBUILDs all in once, next build them all without user interaction.

OSS implementation of the TCG TPM2 Software Stack (TSS2)