A core language for rule-based hardware design 🦑 - View it on GitHub