> I'd like to collect a good number of examples of formal schemes over $\text{Spf}(\mathbf{Z}_p)$, whose special fiber is a projective variety over $\mathbf{F}_p$, but that are **not** algebraizable.

If possible, the more examples involving abelian varieties, the merrier.