Due to wide applications of binary sequences with a low correlation to communications, various constructions of such sequences have been proposed in the literature. Many efforts have been made to construct good binary sequences with various lengths. However, most of the known constructions make use of the multiplicative cyclic group structure of finite field <inline-formula> <tex-math notation="LaTeX">$\mathbb {F}_{2^{n}}$ </tex-math></inline-formula> for a positive integer <inline-formula> <tex-math notation="LaTeX">$n$ </tex-math></inline-formula>. It is often overlooked in this community that all <inline-formula> <tex-math notation="LaTeX">$2^{n}+1$ </tex-math></inline-formula> rational places (including “the place at infinity”) of the rational function field over <inline-formula> <tex-math notation="LaTeX">$\mathbb {F}_{2^{n}}$ </tex-math></inline-formula> form a cyclic structure under an automorphism of order <inline-formula> <tex-math notation="LaTeX">$2^{n}+1$ </tex-math></inline-formula>. In this paper, we make use of this cyclic structure to provide an explicit construction of binary sequences with a low correlation of length <inline-formula> <tex-math notation="LaTeX">$2^{n}+1$ </tex-math></inline-formula> via cyclotomic function fields over <inline-formula> <tex-math notation="LaTeX">$\mathbb {F}_{2^{n}}$ </tex-math></inline-formula>. Each family of our sequences has size <inline-formula> <tex-math notation="LaTeX">$2^{n}-1$ </tex-math></inline-formula> and its correlation is upper bounded by <inline-formula> <tex-math notation="LaTeX">$\lfloor 2^{(n+2)/2}\rfloor $ </tex-math></inline-formula>. To the best of our knowledge, this is the first construction of binary sequences with a low correlation of length <inline-formula> <tex-math notation="LaTeX">$2^{n}+1$ </tex-math></inline-formula>. Moreover, our sequences can be constructed explicitly and have competitive parameters. In particular, compared with the Gold sequences of length <inline-formula> <tex-math notation="LaTeX">$2^{n}-1$ </tex-math></inline-formula> for even <inline-formula> <tex-math notation="LaTeX">$n$ </tex-math></inline-formula>, our sequences have a smaller correlation and a larger length although the family size of our sequences is slightly smaller.