Packages

Proton VPN GTK app for Linux

Official ProtonVPN Linux app

Simple, human-editable language for representing and emitting the Protobuf wire format

Your Swiss Army Knife for Protocol Buffers

Foundation for ambitious web user interfaces

Rust implementation of the protobuf compiler

Minimalistic protocol buffer decoder and encoder in C++

Automated theorem prover for first-order and equational logic

Cryptographic protocol verifier in the formal model

Kubernetes based CI/CD system developed to serve the Kubernetes community

Indexer manager/proxy built on the popular arr .net/reactjs base stack

Security tool for AWS, Azure and GCP to perform Cloud Security best practices assessments

Process runner for Procfile-based applications

Proxy tool for HTTP/HTTPS traffic capture

Simple command-line utility for sorting inputs by proximity to a path argument

Client for proxmark3, powerful general purpose RFID tool

Client for proxmark3, powerful general purpose RFID tool

Proxmox VM migrator: migrates VMs between different Proxmox VE clusters

Command line client for Proxmox Backup Server

The Advanced Proximal Optimization Toolbox

Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds

Proxifier for SOCKS proxies

Preloader which hooks calls to sockets in dynamically linked programs and redirects it through one…

High-performance MySQL proxy

Takes text from standard input and outputs it to a desktop-widget on Wayland desktops

CLI for the PRQL compiler - a simple, powerful, pipelined SQL replacement

Tool that brings mailing list style code reviews to Github PRs

PMIx Reference Runtime Environment

Secure, fast & convenient password manager CLI using GPG and git to sync

Pipeable Ruby

G-code generator for 3D printer

Ruby runtime developer console and IRB alternative

Desktop clients to interact with ps2link and ps2netfs

Handy utility to make decrypted PS3 disc dumps

Estwald's PS3ISO utilities

PS3 Net Server (mod by aldostools)

Utility to accurately report the in core memory usage for a program

Package manager for PureScript based on package sets

CLI for PlanetScale Database

Visualize Linux processes in a form of a radial tree

Conversion tools for .PSF fonts

Pretty small HTTP server - a command-line tool to share files

XMPP (Jabber) client

Alert on system resource saturation

XMPP (Jabber) client based on Qt5

Top for /proc/pressure

Simple open source self-hosted file sharing solution

C-library for generating multi page PostScript documents

Set of small useful utilities that use the proc filesystem (such as fuser, killall and pstree)

PageSpeed Optimization Libraries

Postgres Pager

Free replacement for SPSS, a program for statistical analysis of sampled data

Tool to run a PostreSQL query and output the result as CSV

ODBC driver for PostgreSQL

Record the CPU and memory activity of a process

Parallel SSH Tools

Fast and multi-platform Spotify client with native GUI

Show processes' memory usage by looking into pss

Translates PostScript and PDF graphics into other vector formats

POSIX Process Control in C++

Show the set of running processes as a tree

Password list generator for orchestrating brute force attacks and cracking hashes

Collection of useful utilities for manipulating PS documents

Command line tool to write random bytes to stdout

Minimalist command-line Pivotal Tracker client

Highly accurate clone of the classic ProTracker 2.3D software for Amiga

Parallel universal-ctags wrapper for git repository

GTK-based GUI for taskwarrior

Experimental pxtone editor where you can collaborate with friends

Terminal emulator for the Cyber1 mainframe-based CYBIS system

Per-Face Texture Mapping for Production Rendering

GNU Portable Threads library

Printer Driver for Brother P-touch and QL Label Printers

Command line tool to print labels on Brother P-Touch printers on Linux

Tool for reliably tunneling TCP connections over ICMP echo request and reply packets

Terminal for GNOME with first-class support for containers

Strong, neutral, principles-driven, open source typeface for text or display

Cross-vendor public domain suffix database

Static Site CMS with GUI to build privacy-focused SEO-friendly website

Command-line bibliography manager

Audio tag editor similar to the Windows program, Mp3tag

Daemon for managing long running shell commands

Free, open source game management panel

Light-weight, simple and fast XML parser for C++ with XPath support

Pull parser for CommonMark written in Rust

Community-led Hyper-Hackable Text Editor

A CLI for Apache Pulsar written in Go

Sound server for POSIX and Win32 systems

Sound server for POSIX and Win32 systems

Control pulseaudio volume from the shell or mapped to keyboard shortcuts

Lightweight streaming server which brings DLNA / UPNP and Chromecast support to PulseAudio and Lin…

Xrdp sink/source pulseaudio modules

Limiter, compressor, reverberation, equalizer and auto volume effects for Pulseaudio applications

Cli and curses mixer for pulseaudio

Qt-based LA/scope/MSO GUI for sigrok (a signal analysis software suite)

Pulumi is a cloud development platform that makes creating cloud programs easy and productive

Pulumi is a cloud development platform that makes creating cloud programs easy and productive

Pulumi ESC (Environments, Secrets, and Configuration) for cloud applications and infrastructure