Interflop's repositories
Language:CNOASSERTION000
Language:C++LGPL-2.1000
Language:C++LGPL-2.1000
Language:C++LGPL-2.1000
Language:C++LGPL-2.1000
interflop-backend-vprec
Backend VPREC for interflop project
Language:C000
Language:C000
interflop.github.io
Interflop webpage
stochastic-confidence-intervals
Stochastic Confidence Intervals
verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
Language:CNOASSERTION000
Language:CNOASSERTION000
Language:C000
Language:C000