Implementation and proofs of algorithms from Hackers' Delight - View it on GitHub