Repositories list

• herbie

  Public
  Optimize floating-point expressions for accuracy

  developer-toolssynthesisnumerical-methods+ 3floating-pointherbieracket

  HTML

  •

  Other

  •33•768•9•8•Updated Nov 7, 2024Nov 7, 2024

• odyssey

  Public
  A platform for exploring floating-point expressions ⛵

  floating-pointplugin-systeminterfaces

  TypeScript

  •

  MIT License

  •0•17•51•0•Updated Nov 7, 2024Nov 7, 2024

• rival

  Public
  Interval arithmetic for real computation

  Racket

  •

  MIT License

  •0•21•1•2•Updated Nov 6, 2024Nov 6, 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

• vdt-herbie

  Public
  Racket

  •0•0•0•0•Updated Jun 11, 2024Jun 11, 2024

• egg-herbie

  Public
  An interface for using mwillsey/egg with math simplification.

  Racket

  •

  MIT License

  •1•12•0•0•Updated May 30, 2024May 30, 2024

• fdlibm-herbie

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

  Racket

  •0•0•0•0•Updated May 28, 2024May 28, 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•18•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