|
Monday, September 15
7:34 am UTC
|
|
proxify
☆
- Portable proxy for capturing, manipulating, and replaying HTTP/HTTPS traffic
|
update
|
Formula
|
|
protoc-gen-doc
☆
- Documentation generator plugin for Google Protocol Buffers
|
update
|
Formula
|
|
servo
☆
- Parallel browser engine
|
2025-09-15
|
Cask
|
|
prover9
☆
- Automated theorem prover for first-order and equational logic
|
2009-11A
|
Formula
|
|
promptfoo
☆
- Test your LLM app locally
|
0.120.8
|
Formula
|
|
protoc-gen-grpc-swift
☆
- Protoc plugin for generating gRPC Swift stubs
|
update
|
Formula
|
|
proxychains-ng
☆
- Hook preloader
|
update
|
Formula
|
|
prometheus
☆
- Service monitoring system and time series database
|
3.8.1
|
Formula
|
|
proteinortho
☆
- Detecting orthologous genes within different species
|
update
|
Formula
|
|
protoc-gen-grpc-web
☆
- Protoc plugin that generates code for gRPC-Web clients
|
update
|
Formula
|
|
preevy
☆
- Quickly deploy preview environments to the cloud
|
0.0.67
|
Formula
|
|
protolint
☆
- Pluggable linter and fixer to enforce Protocol Buffer style and conventions
|
update
|
Formula
|
|
pdf-expert
☆
- PDF reader, editor and annotator
|
3.10.20,1130
|
Cask
|
|
openscad@snapshot
☆
- Programmable solid 3D CAD modeller
|
2025.09.14
|
Cask
|
|
promtail
☆
- Log agent for Loki
|
3.6.3
|
Formula
|
|
manticoresearch
☆
- Open source text search engine
|
dbc40aa7a6955d…
|
Formula
|
|
proof-general
☆
- Emacs-based generic interface for theorem provers
|
update
|
Formula
|
|
progressline
☆
- Track commands progress in a compact one-line format
|
update
|
Formula
|
|
omnifocus
☆
- Scheduling application focusing on organisation
|
2.10
|
Cask
|
|
prs
☆
- Secure, fast & convenient password manager CLI with GPG & git sync
|
0.5.5
|
Formula
|
|
prjtrellis
☆
- Documenting the Lattice ECP5 bit-stream format
|
1.4
|
Formula
|
|
mitti
☆
- Video playback software
|
2.8.14,1373
|
Cask
|
|
progress
☆
- Coreutils progress viewer
|
update
|
Formula
|
|
proftpd
☆
- Highly configurable GPL-licensed FTP server software
|
1.3.9d
|
Formula
|
|
lobehub
☆
- AI chat framework
|
1.128.9
|
Cask
|
|
procmail
☆
- Autonomous mail processor
|
update
|
Formula
|
|
difftastic
☆
- Diff that understands syntax
|
0.67.0
|
Formula
|
|
proctools
☆
- OpenBSD and Darwin versions of pgrep, pkill, and pfind
|
0.4pre1
|
Formula
|
|
profanity
☆
- Console based XMPP client
|
update
|
Formula
|
|
privoxy
☆
- Advanced filtering web proxy
|
update
|
Formula
|
|
prefixsuffix
☆
- GUI batch renaming utility
|
update
|
Formula
|
|
primecount
☆
- Fast prime counting function program and C/C++ library
|
7.20
|
Formula
|
|
prips
☆
- Print the IP addresses in a given range
|
update
|
Formula
|
|
primer3
☆
- Program for designing PCR primers
|
update
|
Formula
|
|
iina
☆
- Free and open-source media player
|
1.4.0,158
|
Cask
|
|
prestd
☆
- Simplify and accelerate development on any Postgres application, existing or new
|
1.5.5
|
Formula
|
|
diffr
☆
- LCS based diff highlighting tool to ease code review from your terminal
|
0.1.5
|
Formula
|
|
hotovo-aider-desk
☆
- Desktop GUI for Aider AI pair programming
- 990 ★
|
0.31.0
|
Cask
|
|
dicebear
☆
- CLI for DiceBear - An avatar library for designers and developers
|
9.2.4
|
Formula
|
|
hopper-disassembler
☆
- Reverse engineering tool that lets you disassemble, decompile and debug your app
|
6.0.2
|
Cask
|
|
diffstat
☆
- Produce graph of changes introduced by a diff file
|
1.68
|
Formula
|
|
diffoci
☆
- Diff for Docker and OCI container images
|
0.1.7
|
Formula
|
|
diffoscope
☆
- In-depth comparison of files, archives, and directories
|
306
|
Formula
|
|
dhall-bash
☆
- Compile Dhall to Bash
|
1.0.41
|
Formula
|
|
google-chrome@canary
☆
- Web browser
|
142.0.7415.0
|
Cask
|
|
diary
☆
- Text-based journaling program
|
0.16
|
Formula
|
|
diction
☆
- GNU diction and style
|
1.11
|
Formula
|
|
dhcping
☆
- Perform a dhcp-request to check whether a dhcp-server is running
|
1.2
|
Formula
|
|
dhex
☆
- Ncurses based advanced hex editor featuring diff mode and more
|
0.69
|
Formula
|
|
dfu-util
☆
- USB programmer
|
0.11
|
Formula
|