* 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-----

Hi Roman,

I also have interest and use for Herbie being packaged into Debian.

I intent to publish a package for it in the near future (started the packaging
work earlier today), and I would be happy to collaborate with you on maintainance
if that's something you would be interested in helping with.


Best,

  nicoo