Projects Tagged ‘hardware’

2022

Yosys

Tagged formal-verification, hardware, sat

Open-source hardware synthesis and formal verification toolchain.

2017

Tanztatur

Tagged art, hardware

A meter-sized USB-keyboard you can walk and dance on.