Idris

Idris may refer to:

Cadair Idris, a mountain in Gwynedd, Wales, meaning "Idris' Chair"
Idris (name), list of people with this given name or surname
- Edrissa Sanneh, Italian television personality known as Idris
- King Idris I of Morocco
- Idris (giant), giant and astronomer of Welsh tradition
- Idris (prophet), Islamic prophet mentioned in the Qur'an
Idris (operating system), a multi-tasking, Unix-like, multi-user, real-time operating system
Idris (programming language), a functional dependent-type programming language
Idris, a brand of ginger beer produced by Britvic

See also