安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install cafeobj

local Homebrew formula metadata

Linux

Ubuntu apt已验证 · 92%

sudo apt install cafeobj

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

概览

软件包摘要

New generation algebraic specification and programming language

项目链接

命令和别名

cafeobj

历史

项目历史与用法

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

项目历史

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.

采用历史

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.

使用方式

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.

为什么软件包爱好者会关心

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.

时间线

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.

来源

安全态势

风险级别：yellow

generalized runtime or code generation signal.

风险分类器

yellow 风险 · 中置信度 · runtime

原因

generalized runtime or code generation signal

信号

text:programming language

安装行为

Homebrew 为此 formula 声明了 post-install 钩子。
Homebrew bottle 元数据适用于 6 个平台目标。
安装时包含 1 个运行时依赖。
构建元数据列出 1 个构建依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围	备注
`cafeobj`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08

管理器版本1.6.2

管理器更新时间

本地数据OK

上游当前

检测到的最新版本v1.6.2

https://github.com/CafeOBJ/cafeobj

信息No package-manager update timestamp was available.低置信度

安装元数据

软件包元数据

软件包键	brew:cafeobj
版本	1.6.2
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/cafeobj
主页	https://cafeobj.org/
仓库	https://github.com/CafeOBJ/cafeobj
上游文档	https://cafeobj.org/
许可证	BSD-2-Clause AND LicenseRef-Homebrew-public-domain AND MIT
源码归档	https://github.com/CafeOBJ/cafeobj/archive/refs/tags/v1.6.2.tar.gz
依赖	zstd
构建依赖	sbcl
Bottle	可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	已定义
服务	未声明

注册表事实

源数据库详情

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

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

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 依赖
normalized package name match
匹配方式：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 依赖
1 可选依赖
normalized package name match
匹配方式：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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

Combined YAML source

View the package source record on GitHub.

combined/cafeobj.yml

使用的来源

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

使用 Homebrew, apt 安装 cafeobj