herbie-fp / herbie

Optimize floating-point expressions for accuracy

Date Created 2013-10-18 (11 years ago)
Commits 11,623 (last one 3 days ago)
Stargazers 785 (1 this week)
Watchers 33 (0 this week)
Forks 35
License other
Ranking

RepositoryStats indexes 618,350 repositories, of these herbie-fp/herbie is ranked #65,868 (89th percentile) for total stargazers, and #66,624 for total watchers. Github reports the primary language for this repository as HTML, for repositories using this language it is ranked #1,579/16,026.

herbie-fp/herbie is also tagged with popular topics, for these it's ranked: developer-tools (#241/859)

Other Information

herbie-fp/herbie has 5 open pull requests on Github, 836 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 12 open issues and 124 closed issues.

There have been 13 releases, the latest one was published on 2024-07-19 (7 months ago) with the name Herbie 2.1.

Homepage URL: https://herbie.uwplse.org

Star History

Github stargazers over time

80080070070060060050050040040030030020020010010000201420142015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

353535353434343434343333333320232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

4,826 commits on the default branch (main) since jan '22

5k5k4.5k4.5k4k4k3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k50050000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

3k3k2.5k2.5k2k2k1.5k1.5k1k1k500500002013201320142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
14014012012010010080806060404020200020162016201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is HTML but there's also others...

HTMLHTMLRacketRacketJavaScriptJavaScriptSchemeSchemeCSSCSSRustRustShellShellPythonPythonMakefileMakefileDockerfileDockerfile

updated: 2025-02-21 @ 09:55pm, id: 13683952 / R_kgDOANDM8A