rival3

Interval arithmetic for real computation

Build status: ok passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Language familiesRacket
Last updatedMonday, July 27th, 2026 8:22:52am (UTC)
Ring1
ConflictsNone
Dependencies
Build platformswin32-x86_64, linux-x86_64, linux-aarch64, macosx-x86_64, macosx-aarch64
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival3/releases/latest/download/rival3-racket.zip0ab98346abf18ce66386f0c7c1d5b7868e7eca9c
Last checkedMonday, September 7th, 2026 7:32:32am (UTC)
Last editedMonday, July 27th, 2026 8:27:52am (UTC)
Date addedWednesday, March 4th, 2026 1:58:10am (UTC)
Modules
  • rival3/scribblings/rival3.scrbl
  • rival3/scribblings/profile.scrbl
  • rival3/ops.rkt
  • rival3/main.rkt
  • rival3/scribblings/eval.scrbl