bsvtokami

★ 11 Open GitHub ↗

Translates Bluespec SystemVerilog to Kami for use with the coq proof assistant.

Explore Similar Repositories

poa-devops : POA Network DevOps scripts
dimdim-bot : Bot para criptomoedas
curriculum-team : Processes, positions, philosophies, approaches, and hilarity for the Flatiron School SE Curriculum team
webvirtmgr-docker : Docker image of webvirtmgr (https://hub.docker.com/r/odivlad/webvirtmgr/)
jenkins-pipeline-shared-libraries : Shared functionality for Jenkins Pipeline Groovy scripts.
// repository documentation