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

act โ˜… 71,512

Run your GitHub Actions locally ๐Ÿš€

Go
pi โ˜… 91,423

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

TypeScript
electron โ˜… 122,518

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

C++
freeCodeCamp โ˜… 454,112

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and compu

TypeScript
gitignore โ˜… 175,327

A collection of useful .gitignore templates
transformers โ˜… 164,163

๐Ÿค— Transformers: the model-definition framework for state-of-the-art machine learning model

Python
// repository documentation