GitHub repository: malyzajko/xfp
Primary language: Java
Description: Synthesizer for accurate fixed-point arithmetic expressions