  Quipper is a recently released quantum programming language. In this report,
we explore Quipper's programming framework by implementing the Deutsch's,
Deutsch-Jozsa's, Simon's, Grover's, and Shor's factoring algorithms. It will
help new quantum programmers in an instructive manner. We choose Quipper
especially for its usability and scalability though it's an ongoing development
project. We have also provided introductory concepts of Quipper and
prerequisite backgrounds of the algorithms for readers' convenience. We also
have written codes for oracles (black boxes or functions) for individual
algorithms and tested some of them using the Quipper simulator to prove
correctness and introduce the readers with the functionality. As Quipper 0.5
does not include more than \ensuremath{4 \times 4} matrix constructors for
Unitary operators, we have also implemented \ensuremath{8 \times 8} and
\ensuremath{16 \times 16} matrix constructors.
