GitHub repository: mit-plv/koika
Primary language: Coq
Created: 2020-03-27T19:40:29Z
Description: A core language for rule-based hardware design 🦑