Tunicate is a C-callable library of robust geometric predicates, such as orientation and intersection tests, implemented in C++. Boolean results are exact, but computed relatively efficiently using a combination of interval arithmetic filters and floating point expansions.
Here is the code, released into the public domain: