A priority queue based on gb_trees - View it on GitHub