インストール

追加のインストールコマンド

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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

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

cafeobj を Homebrew, apt でインストール