installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install cafeobj

local Homebrew formula metadata

Linux

Ubuntu aptvérifié · 92%

sudo apt install cafeobj

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

aperçu

Résumé du paquet

New generation algebraic specification and programming language

Liens du projet

Commandes et alias

cafeobj

historique

Historique du projet et usages

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

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

generalized runtime or code generation signal

Signaux

text:programming language

Comportement d'installation

Homebrew déclare un hook post-install pour cette formule.
Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
S’installe avec 1 dépendances d’exécution.
Les métadonnées de compilation listent 1 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`cafeobj`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-08

version du gestionnaire1.6.2

gestionnaire mis à jour

données localesOK

amontà jour

dernière version détectéev1.6.2

https://github.com/CafeOBJ/cafeobj

infoNo package-manager update timestamp was available.confiance faible

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:cafeobj
Version	1.6.2
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/cafeobj
Page d'accueil	https://cafeobj.org/
Dépôt	https://github.com/CafeOBJ/cafeobj
Docs amont	https://cafeobj.org/
Licence	BSD-2-Clause AND LicenseRef-Homebrew-public-domain AND MIT
Archive source	https://github.com/CafeOBJ/cafeobj/archive/refs/tags/v1.6.2.tar.gz
Dépendances	zstd
Dépendances de compilation	sbcl
Bouteille	disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrew	défini
Service	aucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

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 Dépendances
normalized package name match
Correspondance par : 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 Dépendances
1 dépendances optionnelles
normalized package name match
Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/cafeobj.yml

Sources utilisées

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

Installer cafeobj avec Homebrew, apt