Packages

Protocol Buffers language server written in Rust

Two-factor authentication manager with optional sync

Run Windows programs with Proton

Compatibility tool for Steam Play based on Wine and additional components.(This is intended for us…

Desktop application for Proton Pass

Proton VPN local agent written in Rust with Python bindings

Use your ProtonMail account with your local e-mail client

Qt-based GUI to use your ProtonMail account with your local e-mail client

Desktop application for Mail and Calendar, made with Electron

Export your Proton Mail emails as eml files

Simple Wine and Proton-based compatibility tools manager

Simple wrapper for running Winetricks commands for Proton-enabled games

CLI program and API to automate the installation and update of GloriousEggroll's Proton-GE

Install and manage Proton-GE and Luxtorpeda for Steam and Wine-GE for Lutris with this graphical u…

Rust app to install and update GE-Proton for Steam, and Wine-GE for Lutris

Linux command-line client for ProtonVPN

Linux command-line client for ProtonVPN using Openvpn

Proton VPN GTK app for Linux

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

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

Proxmox VM migrator: migrates VMs between different Proxmox VE clusters

Tool to prepare a Proxmox installation ISO for automated installations

Command line client for Proxmox Backup Server

Advanced Proximal Optimization Toolbox

Primal-dual augmented Lagrangian solver for nonlinear programming on manifolds

Proxy Authentication Token - Fast authentication gateway for backend APIs

Proxifier for SOCKS proxies

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

Capture, inspect, and manipulate HTTP(s) requests/responses with ease

Capture HTTP(S) traffic software

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

Very basic tool for converting PCSX2 .pnach cheats to game executable patches

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

Script to check Platform Secure Boot enablement on Zen based AMD CPUs

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

Functional pseudo-hash password creation tool

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

Spotify client with native GUI written in Rust, without Electron

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

PsySH is a runtime developer console, interactive debugger and REPL for PHP

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

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

Nano like text editor built with pure C

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