Bug#886481: RFP: herbie -- Synthesis for floating-point expressions
Package: wnpp
Severity: wishlist
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
* Package name : herbie
Version : 1.1
Upstream Author : Pavel Panchekha <me@pavpanchekha.com>
* URL : https://herbie.uwplse.org/
* License : MIT
Programming Lang: Racket
Description : Synthesis for floating-point expressions
https://github.com/uwplse/herbie
Herbie synthesizes floating-point programs from real-number programs,
automatically handling simple numerical instabilities.
Herbie can improve the accuracy of many real-world programs, and is used by
scientists in many disciplines. It has lead to two patches (for complex square
roots and trigonometric functions), in math.js an open-source mathematics
library. Herbie has semi-regular releases twice a year, maintains
backwards compatibility, and uses standardized formats.
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEjkF6151RK40WXe2HCDw+u0oWieAFAlpQ7KcACgkQCDw+u0oW
ieDSgA//cJ9IXLz7tlq7QU8Tci9Pv42Fg+/Uol18rX/o7XKWVyoTis81nrWPFf4U
yfr7e6PHcX+UP+GqezCmBvvGfhpgAmONeklxI48xVk5TkYSzNBGqDqlyDvkjC1t1
P1n1eOgzvl34+Yo9lpi1BueE6jw/pv3XlR+0T/MqZy+bdjlQ/JbLgGjMh0Tcs8pK
MwhdmZKKabv7ln5SVy6Q86YyoWGxa0DHUb/RSdkh52DD7KlQEA0VBmUyjbO2pfQI
SYV+B/hVFVCBXTSkA2PxKTiHcp0dlvf8pTC6GUGbC5KQKPhFEyU2Ps+Lza8zQswh
bm29UCjCd3Z362dLxpww0FYbKBCACUOpaPyZ/SjUbH3yV2RNjGddcUAJG37mjnTt
QTOISGiD+THtkhe+pQYZh6HwZKpAGimi/KFYL3Bz8PHl9We9DFk8kLoyTSWEh9CG
R3IK4xrtMypybFsbGBoFacMLCV8kKKMPBJKwkg71wkl/62ro+fyZFSL+Dsm3nygx
rcoUGeaMMTdEqGoLb0E8y5qFwdmiFVLzopzchyGH7Nq+cOZYMG25QN0EMGuynyzi
5RP7KQAe9s7UhKAxAy+1Oi82oxQrJFjnMQ3o0CynmPyOv9pURnZe7Ftli732twdc
COVuQBPpvg0uvPazMcsQHcXSgOvxqRfS7fo5TJG60amVG9kZPxM=
=ZoQI
-----END PGP SIGNATURE-----
Reply to: