herbie-fp/rival herbie-fp/rival

  • Stars
    star
    18
  • Rank 1,203,269 (Top 24 %)
  • Language
    Racket
  • License
    MIT License
  • Created over 4 years ago
  • Updated 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
herbie-fp/rival
github

herbie-fp

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Interval arithmetic for real computation

More Repositories

1

herbie

Optimize floating-point expressions for accuracy
HTML
762
star
2

regraph

Racket Equivalence Graph Library
Racket
18
star
3

odyssey

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

egg-herbie

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

complex-herbie

Support for complex numbers in Herbie
Racket
2
star
6

fixedpoint-herbie

Fixed-point number plugin for Herbie
Racket
2
star
7

softposit-herbie

Herbie support for posits
Racket
1
star
8

float-herbie

Herbie plugin for generic floating-point types
Racket
1
star