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