GeezerVison is showing github.com — Herbie Project
Pinned
Loading
Optimize floating-point expressions for accuracy
HTML
896
59
A platform for exploring floating-point expressions ⛵
TypeScript
27
1
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
HTML
JavaScript
Racket
Rust
TypeScript
Sort
Showing 10 of 15 repositories
herbie
Public
Optimize floating-point expressions for accuracy
herbie-fp/herbie's past year of commit activity
rival3
Public
Interval arithmetic for real computation
herbie-fp/rival3's past year of commit activity
Rust
5
MIT
2
1
1
Updated Oct 26, 2026
egg-herbie
Public
An interface for using mwillsey/egg with math simplification.
herbie-fp/egg-herbie's past year of commit activity
Racket
14
MIT
3
0
0
Updated Aug 22, 2026
rival
Public
Interval arithmetic for real computation
herbie-fp/rival's past year of commit activity
Racket
27
MIT
3
4
2
Updated Feb 7, 2026
odyssey
Public
A platform for exploring floating-point expressions ⛵
herbie-fp/odyssey's past year of commit activity
TypeScript
27
MIT
1
30
0
Updated Sep 10, 2025
generic-flonum
Public
Racket package for various IEEE-754 floating point formats
herbie-fp/generic-flonum's past year of commit activity
Racket
3
MIT
1
0
0
Updated Dec 9, 2024
herbie-fp/vdt-herbie's past year of commit activity
Racket
0
0
0
0
Updated Nov 8, 2024
fdlibm-herbie
Public
Herbie plugin for variations of log used in the fdlibm log implementation
herbie-fp/fdlibm-herbie's past year of commit activity
Racket
0
0
1
0
Updated Nov 7, 2024
herbie-fp/softposit-herbie's past year of commit activity
Racket
1
0
0
0
Updated Sep 12, 2024
avx-herbie
Public
A Herbie plugin supporting Herbie's AVX platform
herbie-fp/avx-herbie's past year of commit activity
Racket
1
0
0
0
Updated Jun 13, 2024
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.