Hypomachilodes is a genus of rock bristletail in the family Meinertellidae. Trigoniophthalmus alternatus is a species of jumping bristletail in the family Machilidae. Machilinus aurantiacus is a species of rock bristletail in the family Meinertellidae. Petrobius adriaticus is a species of jumping bristletail in the family Machilidae. Dilta spinulopalpa is a species of jumping bristletail in the family Machilidae. Campodea tuxeni is a species of two-pronged bristletail in the family Campodeidae. Campodea simulans is a species of two-pronged bristletail in the family Campodeidae. Campodea monspessulana is a species of two-pronged bristletail in the family Campodeidae. Campodea magna is a species of two-pronged bristletail in the family Campodeidae. Campodea insidiator is a species of two-pronged bristletail in the family Campodeidae. Campodea fragilis is a species of two-pronged bristletail in the family Campodeidae. Campodea westwoodi is a species of two-pronged bristletail in the family Campodeidae. Campodea staphylinus is a species of two-pronged bristletail in the family Campodeidae. Parajapyx emeryanus is a species of two-pronged bristletail in the family Parajapygidae. Campodea teresiae is a species of two-pronged bristletail in the family Campodeidae.