/koika

A core language for rule-based hardware design 🦑

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

Watchers