A flexible framework for analyzing and transforming FPGA netlists. Official repository.
hardware library for hwt (= ipcore repo)
An open source, parameterized SystemVerilog hardware IP library
A Hardware Construct Language