\(p\)-adic Representation Theory (PadicRep)