Herbie Project

Find and fix floating-point problems.

Pinned Repositories

clhapi
command line -> http api
Language:JavaScript00
complex-herbie
Support for complex numbers in Herbie
Language:Racket2 2 00
egg-herbie
An interface for using mwillsey/egg with math simplification.
Language:Racket12 6 21
fixedpoint-herbie
Fixed-point number plugin for Herbie
Language:Racket2 3 00
float-herbie
Herbie plugin for generic floating-point types
Language:Racket1 2 00
herbie
Optimize floating-point expressions for accuracy
Language:HTML775 33 13333
odyssey
A platform for exploring floating-point expressions :boat:
Language:TypeScript18 4 1600
regraph
Racket Equivalence Graph Library
Language:Racket18 5 01
rival
Interval arithmetic for real computation
Language:Racket21 2 110
softposit-herbie
Herbie support for posits
Language:Racket1 2 00

Herbie Project's Repositories

herbie-fp/herbie
Optimize floating-point expressions for accuracy
Language:HTML775 33 13333
herbie-fp/rival
Interval arithmetic for real computation
Language:Racket21 2 110
herbie-fp/odyssey
A platform for exploring floating-point expressions :boat:
Language:TypeScript18 4 1600
herbie-fp/regraph
Racket Equivalence Graph Library
Language:Racket18 5 01
herbie-fp/egg-herbie
An interface for using mwillsey/egg with math simplification.
Language:Racket12 6 21
herbie-fp/complex-herbie
Support for complex numbers in Herbie
Language:Racket2 2 00
herbie-fp/fixedpoint-herbie
Fixed-point number plugin for Herbie
Language:Racket2 3 00
herbie-fp/float-herbie
Herbie plugin for generic floating-point types
Language:Racket1 2 00
herbie-fp/softposit-herbie
Herbie support for posits
Language:Racket1 2 00
herbie-fp/clhapi
command line -> http api
Language:JavaScript00
herbie-fp/avx-herbie
A Herbie plugin supporting Herbie's AVX platform
Language:Racket
herbie-fp/fdlibm-herbie
Herbie plugin for variations of log used in the fdlibm log implementation
Language:Racket0 0
herbie-fp/vdt-herbie
Language:Racket