To study properties of knots, topologists have been using two types of invariants: combinatorial invariants (such as knot polynomials and Khovanov homology) and invariants inspired by gauge theory (such as Floer homology). We will discuss some examples and then focus on a series of Floer-theoretic invariants that are conjecturally equivalent to some known combinatorial ones.