bsvtokami

(★ 11)

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

bsvtokami 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

public-apis ★ 461,313

A collective list of free APIs

Python
gemini-cli ★ 106,532

Gemini의 강력한 성능을 터미널로 직접 가져오는 오픈 소스 AI 에이전트입니다.

TypeScript
awesome-claude-skills ★ 72,610

Claude AI 워크플로우를 맞춤화하기 위한 유용한 Claude Skills, 리소스, 그리고 도구들의 선별된 목록

Python
markitdown ★ 174,077

파일 및 오피스 문서를 Markdown으로 변환하는 Python 도구입니다.

Python
awesome-mcp-servers ★ 92,434

MCP 서버 모음입니다.
agent-skills ★ 87,722

AI 코딩 에이전트를 위한 프로덕션 등급의 엔지니어링 기술.

JavaScript
// repository documentation