install

Additional install commands

macOS

Homebrewverified · 100%

brew install cafeobj

local Homebrew formula metadata

Linux

Ubuntu aptverified · 92%

sudo apt install cafeobj

Ubuntu 24.04 LTS package indexes · cafeobj · source: archive.ubuntu.com

overview

Package summary

New generation algebraic specification and programming language

Project links

Commands and aliases

cafeobj

history

Project history and usage

CafeOBJ is an algebraic specification and programming language used in formal-methods work, theorem-style verification, and executable specifications.

Project history

The official interpreter README identifies CafeOBJ as a new-generation algebraic specification and programming language and as a direct successor of OBJ. It inherits OBJ features such as mixfix syntax, subtyping, module composition, parameterized modules, views, and module expressions, while adding rewriting logic, hidden algebra, and combinations of those paradigms.

The open interpreter source is maintained in Common Lisp and can be built with Allegro CL, SBCL, or CLISP. The GitHub repository was created in 2017, while the README for version 1.6.0 is dated 2020-01-20 and the repository carries later 1.6.x tags.

Adoption history

CafeOBJ's adoption is specialized: it lives in the formal specification and verification community rather than mainstream application development. Packaging in Homebrew and Ubuntu makes it easier for researchers, students, and toolchain curators to install the interpreter without manually building a Lisp system.

How it is used

Users write formal specifications, load them into the CafeOBJ processor, reduce terms, inspect modules, and construct proof scores. The official introductory material walks beginners from describing specifications to verification using simple natural-number examples.

Why package nerds care

CafeOBJ matters to package-history nerds because it is one of the long-tail formal-methods languages that package managers preserve alongside mainstream compilers. Its Homebrew formula keeps a Common Lisp-based research language installable on modern developer machines.

Timeline

2017: Public CafeOBJ interpreter repository created on GitHub.
2020: README marks CafeOBJ interpreter version 1.6.0 dated 2020-01-20.
2020s: 1.6.x tags continue the interpreter line.
Present: Homebrew and Ubuntu package the interpreter for easier installation.

Related projects

OBJ is the direct predecessor named by the official CafeOBJ README.
CafeOBJ sits near other algebraic specification and rewriting-logic tools, but its official documentation frames its own lineage through OBJ, rewriting logic, hidden algebra, and proof scores.

Sources

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

Homebrew declares a post-install hook for this formula.
Homebrew bottle metadata is available for 6 platform targets.
Installs with 1 runtime dependencies.
Build metadata lists 1 build dependencies.

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
`cafeobj`	cli	global executable

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-07-08

manager version1.6.2

manager updated

local dataok

upstreamcurrent

latest detectedv1.6.2

https://github.com/CafeOBJ/cafeobj

infoNo package-manager update timestamp was available.low confidence

install metadata

Package metadata

Package key	brew:cafeobj
Version	1.6.2
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/cafeobj
Homepage	https://cafeobj.org/
Repository	https://github.com/CafeOBJ/cafeobj
Upstream docs	https://cafeobj.org/
License	BSD-2-Clause AND LicenseRef-Homebrew-public-domain AND MIT
Source archive	https://github.com/CafeOBJ/cafeobj/archive/refs/tags/v1.6.2.tar.gz
Dependencies	zstd
Build dependencies	sbcl
Bottle	available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	defined
Service	none declared

registry facts

Source database details

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	cafeobj
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

source database matches

Other package-manager records

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

Ubuntu apt95%

cafeobj 1.6.0-2build1

new generation algebraic specification and programming language

http://cafeobj.org/

sudo apt install cafeobj

Section: universe/science
Architecture: amd64
2 dependencies
normalized package name match
Matched by: Cafeobj

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cafeobj from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt95%

cafeobj-mode 1.6.0-2build1

Emacs major mode for editing CafeOBJ source code

http://cafeobj.org/

sudo apt install cafeobj-mode

Section: universe/science
Architecture: all
Source Package: cafeobj
1 dependencies
1 optional deps
normalized package name match
Matched by: Cafeobj

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: cafeobj-mode from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

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/cafeobj.yml

Used sources

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

Install cafeobj with Homebrew, apt