#

herbie

Here is 1 public repository matching this topic...

herbie-fp / herbie

Optimize floating-point expressions for accuracy

racket developer-tools synthesis numerical-methods floating-point herbie

Updated Nov 15, 2024
HTML

Improve this page

Add a description, image, and links to the herbie topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the herbie topic, visit your repo's landing page and select "manage topics."