GitHub repository: uw-plse/herbie
Primary language: C
Description: Synthesis for floating-point expressions