Hwtypes
Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
Install / Use
/learn @leonardt/HwtypesREADME
Install
Debian
apt install libgmp-dev libmpfr-dev libmpc-dev
pip install hwtypes
OSX
brew install gmp mpfr libmpc
pip install hwtypes
CentOS
yum install libmpc-devel mpfr-devel gmp-devel
pip install hwtypes
Related Skills
node-connect
349.0kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
109.4kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
349.0kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
349.0kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
