Idris
Idris may refer to:
Places
- Cadair Idris, a mountain in Gwynedd, Wales, meaning "Chair of Idris [the Giant]"
language
People
- Idris (name), list of people with this given name or surname
- Idris (giant), giant and astronomer of Welsh tradition
- Idris (prophet), Islamic prophet mentioned in the Qur'an
- King Idris I of Morocco
- Edrissa Sanneh, Italian television personality known as Idris
Brands
- Idris, a brand of ginger beer produced by Britvic
Computing and technology
- Idris (operating system), a multi-tasking, Unix-like, multi-user, real-time operating system
- Idris (programming language), a functional dependent-type programming language
See also
- Enoch, known as İdris in Islam
- Idriss
- Idrisi (disambiguation)
- Idrisi (surname)
- Driss
This article is issued from Wikipedia - version of the Thursday, April 28, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.