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 771 33

  2. odyssey odyssey Public

    A platform for exploring floating-point expressions ⛵

    TypeScript 18

Repositories

Showing 10 of 13 repositories
  • herbie Public

    Optimize floating-point expressions for accuracy

    herbie-fp/herbie’s past year of commit activity
    HTML 771 33 10 6 Updated Nov 24, 2024
  • rival Public

    Interval arithmetic for real computation

    herbie-fp/rival’s past year of commit activity
    Racket 21 MIT 0 1 3 Updated Nov 22, 2024
  • odyssey Public

    A platform for exploring floating-point expressions ⛵

    herbie-fp/odyssey’s past year of commit activity
    TypeScript 18 MIT 0 54 2 Updated Nov 22, 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
  • float-herbie Public

    Herbie plugin for generic floating-point types

    herbie-fp/float-herbie’s past year of commit activity
    Racket 1 0 0 0 Updated Jun 12, 2022
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…