cafeobj ☆
« Back to VersTracker
Description:
New generation algebraic specification and programming language
Type: Formula  |  Latest Version: 1.6.2@0  |  Tracked Since: Dec 17, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: algebraic-specification formal-verification rewriting-systems programming-languages mathematics
Install: brew install cafeobj
About:
CafeOBJ is an executable algebraic specification language based on the OBJ family of languages. It supports equational and rewrite rules for specifying and verifying software designs. The tool is widely used for rapid prototyping and formal modeling of abstract systems.
Key Features:
  • Equational and rewrite rule specifications
  • Pattern matching and conditional rewriting
  • Extensive module system for composition
  • Integration with proof assistants like Isabelle
Use Cases:
  • Formal specification of software protocols
  • Rapid prototyping of abstract data types
  • Educational tool for algebraic methods
Alternatives:
  • Maude – Maude offers higher-order features and more advanced search strategies, while CafeOBJ focuses on simpler equational logic.
  • OBJ3 – OBJ3 is the direct predecessor; CafeOBJ adds modern features and better performance.
License: BSD-2-Clause AND LicenseRef-Homebrew-public-domain AND MIT
Dependencies: zstd
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
Version History
Detected Version Rev Change Commit
Sep 26, 2025 2:49pm 0 VERSION_BUMP 33957302
Sep 21, 2025 11:37pm 0 VERSION_BUMP b5c9694a
Nov 18, 2024 8:40pm 0 VERSION_BUMP ea9cadfa
Nov 18, 2024 12:06pm 0 VERSION_BUMP 6b2e846d
« Back to VersTracker  |  Browse Packages  |  About