Idris Brevifunicularis
   HOME

TheInfoList



OR:

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. He established peaceful relationship with the Sao after four Kanem kings had been killed during conflicts with the Bornu indigenous ethnic groups or Sao. Idris I was ...
, 14th century King of Chad * Idris of Libya (1889–1983), King of Libya *
Idris I of Morocco Idris (I) ibn Abd Allah ( ar, إدريس بن عبد الله, translit=Idrīs ibn ʿAbd Allāh), also known as Idris the Elder ( ar, إدريس الأكبر, translit=Idrīs al-Akbar), (d. 791) was an Arab Hasanid Sharif and the founder of the ...
(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 Edrissa Sanneh (born 2 January 1951 in Brufut, Gambia), more commonly known as Idris, is a former Senegalese Disc jockey. Currently, he is a sports journalist. Because of his passionate, enthusiastic and unique football commentary, Idris has beco ...
, 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