Skip to content

@herbie-fp Herbie Project

Change the repository type filter

All

    Repositories list

    14 repositories

    • herbie

      Public
      Optimize floating-point expressions for accuracy
      developer-toolssynthesisnumerical-methodsfloating-pointherbieracket
      HTML
      •
      Other
      •42•816•11•7•Updated Aug 19, 2025Aug 19, 2025

    • rival

      Public
      Interval arithmetic for real computation
      Racket
      •
      MIT License
      •2•23•1•0•Updated Jul 8, 2025Jul 8, 2025

    • odyssey

      Public
      A platform for exploring floating-point expressions ⛵
      floating-pointplugin-systeminterfaces
      TypeScript
      •
      MIT License
      •1•23•30•0•Updated Jun 6, 2025Jun 6, 2025

    • generic-flonum

      Public
      Racket package for various IEEE-754 floating point formats
      Racket
      •
      MIT License
      •1•2•0•0•Updated Dec 9, 2024Dec 9, 2024

    • vdt-herbie

      Public
      Racket
      •0•0•0•0•Updated Nov 8, 2024Nov 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, 2024Nov 7, 2024

    • softposit-herbie

      Public
      Herbie support for posits
      Racket
      •0•1•0•0•Updated Sep 12, 2024Sep 12, 2024

    • avx-herbie

      Public
      A Herbie plugin supporting Herbie's AVX platform
      Racket
      •0•0•0•0•Updated Jun 13, 2024Jun 13, 2024

    • egg-herbie

      Public
      An interface for using mwillsey/egg with math simplification.
      Racket
      •
      MIT License
      •1•13•0•0•Updated May 30, 2024May 30, 2024

    • clhapi

      Public
      command line -> http api
      JavaScript
      •0•0•0•0•Updated Mar 23, 2024Mar 23, 2024

    • float-herbie

      Public
      Herbie plugin for generic floating-point types
      Racket
      •0•1•0•0•Updated Jun 12, 2022Jun 12, 2022

    • fixedpoint-herbie

      Public
      Fixed-point number plugin for Herbie
      Racket
      •0•2•0•0•Updated Jun 12, 2022Jun 12, 2022

    • regraph

      Public
      Racket Equivalence Graph Library
      Racket
      •
      MIT License
      •1•19•0•0•Updated May 24, 2022May 24, 2022

    • complex-herbie

      Public
      Support for complex numbers in Herbie
      Racket
      •
      MIT License
      •0•2•0•0•Updated Aug 25, 2021Aug 25, 2021