proofgeneral-git
|
4.5.r9313.c304d73e-1 |
1 |
0.00
|
Generic interface for proof assistants |
gilcu3
|
2022-09-26 07:45 (UTC) |
prompter
|
0.3.0-1 |
1 |
0.00
|
Dumb prompter |
cdown
|
2017-08-05 10:34 (UTC) |
prompt-hjem-git
|
31.ad2a670-1 |
1 |
0.00
|
prompt for zsh |
Krux02
|
2017-05-30 09:30 (UTC) |
prometheus-xmpp-webhook
|
0.4.0-3 |
1 |
0.00
|
XMPP-Webhook built for Prometheus/Grafana Alerts |
danieltetraquark
|
2021-02-28 12:37 (UTC) |
prometheus-redis-exporter
|
1.4.0-1 |
1 |
0.00
|
Prometheus exporter for Redis |
orphan
|
2020-02-25 09:25 (UTC) |
prometheus-pve-exporter
|
3.2.2-1 |
1 |
0.01
|
Proxmox VE exporter for the Prometheus monitoring system |
qubidt
|
2024-03-16 02:23 (UTC) |
prometheus-postfix-exporter
|
0.3.0-1 |
1 |
0.00
|
Prometheus exporter for Postfix metrics |
zdmx
|
2022-09-16 10:31 (UTC) |
prometheus-podman-exporter
|
1.10.1-1 |
1 |
0.87
|
Prometheus exporter for podman environments exposing containers, pods, images, volumes and networks information. |
navidys
|
2024-03-17 02:01 (UTC) |
prometheus-pgbouncer-exporter
|
0.7.0-1 |
1 |
0.00
|
Prometheus exporter for PgBouncer metrics |
grawlinson
|
2023-07-08 10:03 (UTC) |
prometheus-nut-exporter
|
2.4.2-1 |
1 |
0.00
|
Prometheus exporter for Network UPS Tools metrics |
grawlinson
|
2022-07-07 17:52 (UTC) |
prometheus-nginxlog-exporter
|
1.11.0-1 |
1 |
0.00
|
Export metrics from Nginx access log files to Prometheus |
KokaKiwi
|
2023-07-19 20:53 (UTC) |
prometheus-dovecot-exporter-git
|
7ef7911-1 |
1 |
0.00
|
Prometheus exporter that can be used to scrape statistics from Dovecot |
ajdiaz
|
2019-07-10 11:23 (UTC) |
prometheus-bind-exporter
|
0.6.1-1 |
1 |
0.00
|
Prometheus exporter for BIND metrics |
grawlinson
|
2023-06-27 07:50 (UTC) |
prometheus-apcupsd-exporter-bin
|
0.1.0-1 |
1 |
0.00
|
Prometheus exporter that exposes metrics from apcupsd's NIS. (binary, not built from source) |
CarstenF
|
2019-02-22 16:21 (UTC) |
projen
|
0.80.10-1 |
1 |
0.00
|
Define and maintain complex project configuration through code. projen synthesizes project configuration files from a well-typed definition written in JavaScript. |
XenGi
|
2024-03-11 16:04 (UTC) |
projector-bin
|
1.1.0-1 |
1 |
0.00
|
Common and client-related code for running Swing applications remotely. |
elizabethdev
|
2022-09-10 10:11 (UTC) |
projectm-sdl2-git
|
57.a5152b3-2 |
1 |
0.28
|
Music visualizer which uses 3D accelerated iterative image based rendering (git version) |
prg
|
2023-02-10 19:53 (UTC) |
projectm-presets-classic-git
|
2.g14a6244.2.gff8edf2-2 |
1 |
0.02
|
Classic preset pack for projectM (git version) |
prg
|
2023-02-10 19:11 (UTC) |
projectable-git
|
1.3.0.9.gcd26095-1 |
1 |
0.01
|
A TUI file manager built for projects. |
Absobel
|
2023-10-08 12:21 (UTC) |
projectable
|
1.3.0-1 |
1 |
0.01
|
A TUI file manager built for projects. |
Absobel
|
2023-07-02 12:40 (UTC) |
project-plus-netplay
|
v2.5.2-1 |
1 |
0.00
|
A Mod of Super Smash Bros. Brawl with Netplay. |
ABOhiccups
|
2024-03-06 21:00 (UTC) |
project-brutality-git
|
3.0.0.alpha.562.g83a1878d-1 |
1 |
0.00
|
DOOM overhaul mod, successor to brutal-doom. |
thann
|
2020-04-07 12:22 (UTC) |
projclean
|
0.7.0-1 |
1 |
0.24
|
project dependencies & build artifacts cleanup tool |
alerque
|
2024-01-03 14:07 (UTC) |
proid-git
|
r11.480742a-1 |
1 |
0.87
|
A tool to hide and show windows in X |
Rehpotsirhc
|
2024-03-11 01:51 (UTC) |
proid-bin
|
0.6.0.0-1 |
1 |
0.87
|
A tool to hide and show windows in X |
Rehpotsirhc
|
2024-03-11 01:48 (UTC) |
progress-quest-bin
|
6.4.4-3 |
1 |
0.00
|
Progress Quest is an antic and fantastical computer role-playing game |
stilvoid
|
2023-04-04 10:21 (UTC) |
programmers-turkish-f
|
0.0.1-1 |
1 |
0.00
|
Variant of the Turkish-F layout with symbols and usage adapted from Programmer Dvorak |
alerque
|
2018-09-01 13:38 (UTC) |
program-shell-git
|
r6.55cd858-1 |
1 |
0.00
|
|
castillo055
|
2021-04-11 19:48 (UTC) |
progit2-git
|
2.1.51.r0.g4a3dec9-2 |
1 |
0.00
|
The offline version of the entire Pro Git book, written by Scott Chacon and Ben Straub |
wget
|
2018-04-22 23:38 (UTC) |
profanity-python2-git
|
1.b712820-1 |
1 |
0.00
|
A console based jabber client. Built against Python 2, to use Python 2 plugins. |
witti
|
2017-01-25 14:11 (UTC) |
prof-gnome-theme-git
|
r20.a97a7a4-1 |
1 |
0.00
|
GNOME theme made by Paulxfce. "A pleasing, clear and easy-on-the-eyes theme that is meant for those who use the Gnome-desktop professionally on a daily basis." |
sistematico
|
2023-09-24 17:40 (UTC) |
producer
|
2.3.0-1 |
1 |
0.00
|
Producer is a command-line quality-assurance tool to validate, and then release, your PHP library package. |
sanduhrs
|
2018-05-08 07:06 (UTC) |
proctl
|
2022.02.21-1 |
1 |
0.00
|
Github Project Manager |
TheRepoClub
|
2023-10-03 15:29 (UTC) |
procmon-git
|
1.0.1.r8.gc75bf1b-1 |
1 |
0.00
|
Trace syscall activity tool |
Chocobo1
|
2023-04-10 09:13 (UTC) |
procmon
|
1.0.1-1 |
1 |
0.00
|
Trace syscall activity tool |
Chocobo1
|
2021-05-06 04:16 (UTC) |
procfile-util
|
0.17.1-1 |
1 |
0.00
|
A tool for interacting with Procfiles |
d1ceward
|
2024-02-11 18:09 (UTC) |
processing-bin
|
4.3-5 |
1 |
0.00
|
Programming environment for creating images, animations and interactions. |
zxp19821005
|
2024-02-27 08:54 (UTC) |
probe-bin
|
0.0.3-1 |
1 |
0.00
|
Simplified Integration Testing Using YAML and JQ. |
abhimanyu003
|
2023-02-22 17:24 (UTC) |
probability
|
b55e508d94e6-3 |
1 |
0.00
|
Probability Machine Simulator |
ewaller
|
2016-09-24 01:43 (UTC) |
pro-bitcoin-git
|
v24.0.1.1.r0.g9353e8ad0-1 |
1 |
0.00
|
Prometheus enabled bitcoin node |
dougEfish
|
2022-12-21 16:11 (UTC) |
prjoxide-git
|
r444.a64ccc7-1 |
1 |
0.00
|
Project Oxide LatticeSemi 28nm Nexus FPGA Bitstream Database |
rpls
|
2023-08-15 15:58 (UTC) |
privoxy-adfilter
|
609.ce2ab5e-1 |
1 |
0.00
|
Privoxy rule to filter web advertisement. |
qwivan
|
2017-06-11 13:29 (UTC) |
privaxy-git
|
r27.7156dd7-1 |
1 |
0.00
|
Privaxy is the next generation tracker and advertisement blocker. It blocks ads and trackers by MITMing HTTP(s) traffic. (git version) |
orphan
|
2022-05-27 09:01 (UTC) |
privaxy
|
0.1.0-1 |
1 |
0.00
|
Privaxy is the next generation tracker and advertisement blocker. It blocks ads and trackers by MITMing HTTP(s) traffic. |
orphan
|
2022-05-26 20:45 (UTC) |
privacy-redirect-git
|
v1.1.43.r4.3d45eb3-1 |
1 |
0.00
|
Privacy Redirect browser extension (for chromium-based browsers) |
orphan
|
2021-02-16 21:39 (UTC) |
privacy-redirect
|
1.1.49-1 |
1 |
0.00
|
Redirect Youtube, Twitter, Instagram, ... to privacy friendly alternatives |
orphan
|
2021-08-14 08:50 (UTC) |
privacy-protection-messenger
|
2.1-0 |
1 |
0.00
|
Secure messenger backend |
imper
|
2022-06-01 15:15 (UTC) |
pritunl-client-electron
|
1.3.3600.11-2 |
1 |
0.02
|
Pritunl OpenVPN client |
alessi0
|
2023-07-25 07:27 (UTC) |
prisma-studio-appimage
|
0.458.0-1 |
1 |
0.00
|
The easiest way to explore and manipulate your data in all of your Prisma projects. |
ravi0li
|
2022-04-03 12:10 (UTC) |
printer-git
|
1-1 |
1 |
0.65
|
Ncurses like c library |
spynetS
|
2023-11-24 19:29 (UTC) |