GitHub repository: leonardt/hwtypes
Primary language: Python
Description: Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics