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 775 34

  2. odyssey odyssey Public

    A platform for exploring floating-point expressions ⛵

    TypeScript 20

Repositories

Showing 10 of 14 repositories
  • herbie Public

    Optimize floating-point expressions for accuracy

    herbie-fp/herbie’s past year of commit activity
    HTML 775 34 13 5 Updated Dec 26, 2024
  • rival Public

    Interval arithmetic for real computation

    herbie-fp/rival’s past year of commit activity
    Racket 21 MIT 0 1 2 Updated Dec 23, 2024
  • odyssey Public

    A platform for exploring floating-point expressions ⛵

    herbie-fp/odyssey’s past year of commit activity
    TypeScript 20 MIT 0 54 2 Updated Dec 12, 2024
  • generic-flonum Public

    Racket package for various IEEE-754 floating point formats

    herbie-fp/generic-flonum’s past year of commit activity
    Racket 2 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 0 0 0 0 Updated Jun 13, 2024
  • egg-herbie Public

    An interface for using mwillsey/egg with math simplification.

    herbie-fp/egg-herbie’s past year of commit activity
    Racket 12 MIT 1 0 0 Updated May 30, 2024
  • clhapi Public

    command line -> http api

    herbie-fp/clhapi’s past year of commit activity
    JavaScript 0 0 0 0 Updated Mar 23, 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…