herbie-fp/herbie

Otimize expressões de ponto flutuante para obter maior precisão

↗ Abrir no GitHub

Estrelas

888

Bifurcações

51

Linguagem

HTML

Licença

NOASSERTION

Último push

há 1 dia

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

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.