libresoc-ieee754fpu (pypi): A nmigen (HDL) IEEE754 Floating-Point library
Keywords: nmigen|ieee754