GitHub repository: Barkhausen-Institut/koika
Primary language: Coq
Description: A core language for rule-based hardware design 🦑