- Installing Herbie: getting Herbie up and running.
- Herbie Tutorial: how to use Herbie.
- Using Herbie from the browser: a guide to running Herbie from your browser.
- Using Herbie from the CLI: a guide to running Herbie from the command line.
- Input format: what sorts of expressions Herbie supports.
- Reports: understanding Herbie's output.
- Plugins: teaching Herbie about new input formats.
- FAQ: troubleshooting Herbie.
- Installing with Docker: an alternate installation method for Docker users.
- Command-line flags: modifying Herbie's behavior.
- Release Notes: the biggest and latest changes to Herbie.
- Diagrams: miscellaneous figures related to Herbie

- Detecting Symmetric Expressions : How Herbie 1.5's new symmetric expressions feature detects symmetric expressions using e-graphs and some group theory.
- Long-term Goals for Herbie: Herbie's lead developer lays out some of the biggest Herbie changes in the last couple of years, and gives us a look at what's coming down the pipe.
- Remembering the Herbie Visualizer: Pavel remembers a tool Alex wrote to help understand how Herbie works.
- Statistics on alt picking: David designed and ran a series of experiments to evaluate how well Herbie's "alt" (candidate) picking heuristics work.
- Testing regime inference: David has been poking at Herbie's regime inference to measure how effective it is and characterize situations where we could improve.
- Summer 2018 plan: What David Thien will be working on in Herbie this summer!
- Introducing Herbgrind: what is our sister project Herbgrind all about?
- Let Herbie Make Your Floating Point Better: why programmers who deal with floating point should use Herbie.
- Improving Accuracy: a Look at Sums: why floating point summation is hard, and how compensated summation works.
- Measuring the Error of Floating Point Programs: how Herbie measures the error of a floating point program, and how we're working to extend that to programs with loops.
- Logarithms of Taylor Expansions: how Herbie takes Taylor expansions of logarithms.
- Hyperbolic sines in math.js: how Herbie fixed an accuracy bug in math.js using series expansion.
- Taylor Expansions of Taylor Expansions: how Herbie takes Taylor expansions of exponential and trigonometric functions.
- Arbitrary Precision, not Arbitrary Accuracy: why arbitrary-precision libraries arenâ€™t an answer to rounding error.
- Complex Square Roots in math.js: how Herbie automatically fixed an accuracy bug in math.js, an open source mathematics library.
- Floating Point Guarantees: how floating point rounding and primitive operators work.