Free open-source implementations

edit

Would be nice to have also a reference to the Open-Source accULL implementation, although it is still immature, it is the only free one. There are many papers published with its results (e.g http://link.springer.com/chapter/10.1007%2F978-3-642-32820-6_86#page-1)