Let M#k(64) be the space of weakly holomorphic modular forms in level 64 and weight k which can have poles only at infinity, and let S#k(64) be the subspace of M#k(64) consisting of forms which vanish at all cusps other than infinity. We explicitly construct canonical bases for these spaces and show that the coefficients of these basis elements satisfy Zagier duality. We also compute the generating function for the canonical basis.

We give congruences modulo powers of 2 for the Fourier coefficients of certain level 2 modular functions with poles only at 0, answering a question posed by Andersen and Jenkins. The congruences involve a modulus that depends on the binary expansion of the modular form's order of vanishing at infinity. We also demonstrate congruences for Fourier coefficients of some level 4 modular functions.

Let Mk(∞) (Gamma, nu) denote the space of weight k weakly holomorphic weight modular forms with poles only at the cusp (∞), and let widehat Mk(∞) (Gamma, nu) subseteq Mk(∞) (Gamma, nu) denote the space of weight k weakly holomorphic modular forms in Mk(∞) (Gamma, nu) which vanish at every cusp other than (∞). We construct canonical bases for these spaces in terms of Maass--Poincaré series, and show that the coefficients of these bases satisfy Zagier duality.