Heegaard Floer homology is an invariant for three-manifolds defined using methods from Lagrangian Floer homology (pseudo-holomorphic disks). One variant of this construction gives a bigraded knot invariant, called knot Floer homology. In this course, I describe Heegaard Floer homology, describe some of its topological applications, and explain computational tools.