Idris may refer to:
People
*
Idris (name), a list of people and fictional characters with the given name or surname
*
Idris (prophet), Islamic prophet in the Qur'an, traditionally identified with Enoch, an ancestor of Noah in the Bible
*
Idris Gawr
Idris Gawr ( en, Idris the Giant; c. 560 – 632) was a king of Meirionnydd in early medieval Wales. He is also sometimes known by the patronymic Idris ap Gwyddno (''Idris son of Gwyddno''). Although now known as Idris Gawr, (Idris the Giant) this ...
or Idris the Giant (c. 560–632), Welsh king
*
Idris I of Kanem
Idris I was a grandson of Mai Bir kachim and a descendant of Ibrahim Nikale
Ibrahim ( ar, إبراهيم, links=no ') is the Arabic name for Abraham, a Biblical patriarch and prophet in Islam.
For the Islamic view of Ibrahim, see Abraham in Is ...
, 14th century King of Chad
*
Idris of Libya (1889–1983), King of Libya
*
Idris I of Morocco (745–791), Emir of Morocco
*
Idris II of Morocco (791–828), Emir of Morocco and founder of the Idrisid dynasty in Morocco, son of the above
*
Edrissa Sanneh, Italian television personality known as Idris
Technology
*
Idris (programming language), a functional programming language with dependent types
*
Idris (operating system), a multi-tasking, Unix-like, multi-user, real-time operating system
Other uses
*
''Idris'' (genus), a genus of parasitic wasps
* Idris, a brand of ginger beer produced by
Britvic
*
Idris the Dragon, the singing dragon in the 1970s UK children's program ''Ivor the Engine''
See also
*
Cadair Idris, a mountain in Gwynedd, Wales, meaning "Chair of Idris
he Giant
He or HE may refer to:
Language
* He (pronoun), an English pronoun
* He (kana), the romanization of the Japanese kana へ
* He (letter), the fifth letter of many Semitic alphabets
* He (Cyrillic), a letter of the Cyrillic script called ''He'' in ...
*
Driss
*
Iblis (disambiguation)
*
Idrisi (disambiguation)
**
Idrisi (surname)
*
Idriss
Idriss may refer to:
* Idriss Arnaoud Ali (born 1945), President of the National Assembly of Djibouti
* Idriss Carlos Kameni (born 1984), Cameroonian football player
* Idriss Déby (1952–2021), President of Chad
* Idriss Ndele Moussa, Chadian p ...
{{disambiguation, hndis