GitHub repository: JulianFrattini/bsv-chef
Primary language: Python
Description: A simple toy system for the course PA1417 Basic System Verification