kimwitu++ ☆
« Back to VersTracker
Description:
Tool for processing trees (i.e. terms)
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: term-rewriting tree-processing symbolic-computation compiler-tools developer-tools
Install: brew install kimwitu++
About:
Kimwitu++ is a specialized tool designed for processing and manipulating tree structures, commonly known as terms. It provides a powerful engine for rewriting, analyzing, and transforming complex data representations, making it invaluable for tasks involving abstract syntax trees or symbolic data.
Key Features:
  • Term rewriting engine
  • Tree structure manipulation
  • Pattern matching capabilities
  • Support for complex symbolic data
Use Cases:
  • Processing abstract syntax trees in compiler design
  • Symbolic computation and algebraic manipulation
  • Automated code refactoring and transformation
Alternatives:
  • Maude – More comprehensive formal specification language, but with a steeper learning curve
  • Stratego/XT – Similar term rewriting focus, but part of a larger program transformation toolkit
Version History
Detected Version Rev Change Commit
Sep 12, 2025 9:03am 0 VERSION_BUMP a66ae1cf
Sep 14, 2024 11:34am 0 VERSION_BUMP 789de1b9
Aug 7, 2024 8:00pm 0 VERSION_BUMP 3e811d87
Nov 24, 2022 1:17pm 0 VERSION_BUMP b2ccc4e4
« Back to VersTracker  |  Browse Packages  |  About