Stanford AHA! Agile Hardware Center
Making hardware fun again
- 93 followers
- Stanford University
- https://aha.stanford.edu/
Popular repositories Loading
Repositories
Showing 10 of 38 repositories
- pono Public Forked from stanford-centaur/pono
Pono: A flexible and extensible SMT-based model checker
StanfordAHA/pono’s past year of commit activity