What are these peppers???

My dad got these little purple peppers from someone at work and my dad can’t remember what they called them