Skip to content
extra credit
Search 85,062 technologies
⌘
K
How it works
Catalog
Download
for Mac
Technologies
Developer tools
Homebrew formulae
swi-prolog
ISO/Edinburgh-style Prolog interpreter
Official docs
↗
Registry
↗
brew install swi-prolog
Copy
More in Homebrew formulae
All 3,000
gtksourceview4
Text view with syntax, undo/redo, and text marks
just-lsp
Language server for just
opensearch
Open source distributed and RESTful search engine
phodav
WebDav server implementation using libsoup (RFC 4918)
rustscan
Modern Day Portscanner
cloud-provider-kind
Cloud provider for KIND clusters
pangomm@2.46
C++ interface to Pango
dufs
Static file server
openssl@3.6
Cryptography and SSL/TLS Toolkit
atlantis
Terraform Pull Request Automation tool
tiledb
Universal storage engine
zig@0.15
Programming language designed for robustness, optimality, and clarity
esc
Cancel
Close search
↑
↓
move
↵
open