herbie-fp/herbie

Optimize floating-point expressions for accuracy

语言：HTML · GitHub 星标：895 · Fork：56

话题：developer-tools · floating-point · herbie · numerical-methods · racket · synthesis

在 GitHub 上查看原仓库