Skip to content
@herbie-fp

Herbie Project

Find and fix floating-point problems.

Pinned Loading

  1. herbie herbie Public

    Optimize floating-point expressions for accuracy

    HTML 889 51

  2. odyssey odyssey Public

    A platform for exploring floating-point expressions ⛵

    TypeScript 27 1

Repositories

Showing 10 of 15 repositories
  • herbie Public

    Optimize floating-point expressions for accuracy

    herbie-fp/herbie's past year of commit activity
    HTML 889 51 7 13 Updated Sep 14, 2026
  • rival3 Public

    Interval arithmetic for real computation

    herbie-fp/rival3's past year of commit activity
    Rust 5 MIT 2 0 0 Updated Sep 14, 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…