Skip to content
@herbie-fp

Herbie Project

Find and fix floating-point problems.

Pinned Loading

  1. herbie Public

    Optimize floating-point expressions for accuracy

    HTML 792 37

  2. odyssey Public

    A platform for exploring floating-point expressions ⛵

    TypeScript 22 1

Repositories

Showing 10 of 14 repositories
  • odyssey Public

    A platform for exploring floating-point expressions ⛵

    TypeScript 22 MIT 1 57 2 Updated Mar 22, 2025
  • rival Public

    Interval arithmetic for real computation

    Racket 21 MIT 1 2 2 Updated Mar 21, 2025
  • herbie Public

    Optimize floating-point expressions for accuracy

    HTML 792 37 10 5 Updated Mar 20, 2025
  • generic-flonum Public

    Racket package for various IEEE-754 floating point formats

    Racket 2 MIT 1 0 0 Updated Dec 9, 2024
  • vdt-herbie Public
    Racket 0 0 0 0 Updated Nov 8, 2024
  • fdlibm-herbie Public

    Herbie plugin for variations of log used in the fdlibm log implementation

    Racket 0 0 0 0 Updated Nov 7, 2024
  • softposit-herbie Public

    Herbie support for posits

    Racket 1 0 0 0 Updated Sep 12, 2024
  • avx-herbie Public

    A Herbie plugin supporting Herbie's AVX platform

    Racket 0 0 0 0 Updated Jun 13, 2024
  • egg-herbie Public

    An interface for using mwillsey/egg with math simplification.

    Racket 13 MIT 1 0 0 Updated May 30, 2024
  • clhapi Public

    command line -> http api

    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…