Herbie Project (@herbie-fp)
Guthub

herbie-fp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    820
  • Global Org. Rank 17,479 (Top 6 %)
  • Registered over 4 years ago
  • Most used languages
    Racket
         77.8 %
    TypeScript
         11.1 %
    HTML
         11.1 %

Top repositories

1

herbie

Optimize floating-point expressions for accuracy
HTML
762
star
2

rival

Interval arithmetic for real computation
Racket
18
star
3

regraph

Racket Equivalence Graph Library
Racket
18
star
4

odyssey

A platform for exploring floating-point expressions ⛵
TypeScript
16
star
5

egg-herbie

An interface for using mwillsey/egg with math simplification.
Racket
12
star
6

complex-herbie

Support for complex numbers in Herbie
Racket
2
star
7

fixedpoint-herbie

Fixed-point number plugin for Herbie
Racket
2
star
8

softposit-herbie

Herbie support for posits
Racket
1
star
9

float-herbie

Herbie plugin for generic floating-point types
Racket
1
star