tunelo encrypts and tunnels UDP traffic (e.g. WireGuard) over a transport protocol like websocket or TCP. Helping to use VPNs in restricted areas.

Which is the fastest web framework?

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

An introduction to programming language theory in Agda

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

PEDA - Python Exploit Development Assistance for GDB

Lean 4 programming language and theorem prover

Empowering everyone to build reliable and efficient software.

Latte-Dock and WM status bar customization features for the default KDE Plasma panel

Power profile management for Linux

A tiling window manager for Windows 🍉

Let's sudo by face recognition of Windows Hello on Windows Subsystem for Linux (WSL). It runs on both WSL 1 and WSL 2. This is a PAM module for Linux on WSL.

Animated pipes terminal screensaver

Easy installation for patched Intel IPU6 camera drivers

Tuning Profile Delivery Mechanism for Linux

Colloid icon theme for linux desktops

A delightful community-driven framework for managing your bash configuration, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

btrfs: find compression type/ratio on a file or set of files

A Linux program to handle GPU switching on Optimus laptops.

TLP - Optimize Linux Laptop Battery Life

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

The modern API client that lives in your terminal.

Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview

Simple Programming Language for fun.

display manager with console UI

A bignum library for C.

A monitor of resources

Yet another Yogurt - An AUR Helper written in Go

Feature packed AUR helper

Advanced Charging Controller