bsvtokami

(β˜… 11)

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

bsvtokami Latest Version Download

Download Latest Version (.zip)

Today's picks

awesome-vue β˜… 73,543

πŸŽ‰ A curated list of awesome things related to Vue.js
AppFlowy β˜… 75,555

Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative worksp

Dart
computer-science β˜… 208,047

πŸŽ“ Path to a free self-taught education in Computer Science!

HTML
tensorflow β˜… 197,088

An Open Source Machine Learning Framework for Everyone

C++
deer-flow β˜… 80,097

An open-source long-horizon SuperAgent harness that researches, codes, and creates. With t

Python
electron β˜… 122,518

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

C++
// repository documentation