Software libraries and applications for near-term quantum computers

I present ongoing work on software libraries and their use for resource estimation. Examples include quantum circuits for Shor's algorithm for factoring integers and for computing discrete logarithms on elliptic curves over prime fields. These are implemented and tested in a quantum programming framework.