brew / rank 6011

Install picat with Homebrew, apk, Nix

Simple, and yet powerful, logic-based multi-paradigm programming language. Version 3.9.11 via Homebrew; verified 2026-07-17. Also installable with nix: nix profile install nixpkgs#picat.

Install command Security notes

install

Additional install commands

macOS

Homebrewverified · 100%

brew install picat

local Homebrew formula metadata

Linux

Alpine Linux apkverified · 92%

sudo apk add picat

Alpine Linux edge package indexes · picat · source: dl-cdn.alpinelinux.org

Nixverified · 92%

nix profile install nixpkgs#picat

nixpkgs package indexes · pkgs/by-name/pi/picat/package.nix · source: api.github.com

overview

Package summary

Simple, and yet powerful, logic-based multi-paradigm programming language

Project links

Homepage

Commands and aliases

picat

security posture

Risk level: yellow

generalized runtime or code generation signal.

Risk classifier

yellow risk · medium confidence · runtime

Why

generalized runtime or code generation signal

Signals

text:programming language

Install behavior

No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

Command	Kind	Exposure	Note
`picat`	executable	indexed executable	Discovered from the local executable index.

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-03

manager version3.9.11

manager updated2026-07-17

local dataunknown

upstreamnot available

latest detectednot detected

okNo freshness warnings were generated.

install metadata

Package metadata

Package key	brew:picat
Version	3.9.11
Package manager	Homebrew
Homepage	https://picat-lang.org/
Last updated	2026-07-17T10:59:21Z
Pulse	updated
Bottle	not recorded
Service	none declared

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

picat

nix profile install nixpkgs#picat

normalized package name match
Matched by: Picat

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/pi/picat/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

apk95%

picat 3.9.11-r0

Logic-based multi-paradigm programming language

https://picat-lang.org/

sudo apk add picat

License: MPL-2.0
Architecture: x86_64
Source Package: picat
1 dependencies
1 provides
normalized package name match
Matched by: Picat

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: picat from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

apk95%

picat-doc 3.9.11-r0

Logic-based multi-paradigm programming language (documentation)

https://picat-lang.org/

sudo apk add picat-doc

License: MPL-2.0
Architecture: x86_64
Source Package: picat
normalized package name match
Matched by: Picat

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: picat-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/picat.yml

Used sources

Geiger risk classifier
cross-ecosystem install command graph
external package-manager database matches
pkg.so package database
pkgdb category and tag curation