We introduce the category of strict $O$-modules, following Faltings. We focus in particular on the strict duality theory, that generalize Cartier duality. We then explain why strict $O$-modules are related to the theory of $p$-adic modular forms, showing that this approach is interesting also in the case $O=Z_p$.