FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

Herbie Project · GitHub

Herbie Project

Find and fix floating-point problems.

Overview
Repositories
Projects
Packages
People

Pinned Loading

herbie herbie Public

Optimize floating-point expressions for accuracy

HTML 886 51
odyssey odyssey Public

A platform for exploring floating-point expressions ⛵

TypeScript 27 1

Repositories

Type Language Sort

herbie Public
Optimize floating-point expressions for accuracy

herbie-fp/herbie's past year of commit activity

HTML 886 51 11 11 Updated Aug 28, 2026
rival3 Public
Interval arithmetic for real computation

herbie-fp/rival3's past year of commit activity

Rust 5 MIT 2 0 0 Updated Aug 24, 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 2 0 0 Updated Aug 22, 2026
rival Public
Interval arithmetic for real computation

herbie-fp/rival's past year of commit activity

Racket 26 MIT 2 3 1 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
vdt-herbie Public

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 0 0 Updated Nov 7, 2024
softposit-herbie Public
Herbie support for posits

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

View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…

Back | FazBrowse Home | New Git URL