Idris may refer to:

People

Idris (name) Idris is a Welsh and Arabic given name (usually masculine), also given as surname. The two names are spelled identically, but are unrelated. Welsh: 'Ardent lord', from (lord, prince) + (ardent, enthusiastic, impulsive). It lends its name to the ...

, 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) Idris is a purely-functional programming language with dependent types, optional lazy evaluation, and features such as a totality checker. Idris may be used as a proof assistant, but it is designed to be a general-purpose 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 Britvic plc is a British producer of soft drinks based in Hemel Hempstead, England. It is listed on the London Stock Exchange and is a constituent of the FTSE 250 Index. It produces soft drinks under its own name, and several other brands. Hist ...

Idris the Dragon ''Ivor the Engine'' is a British cutout animation television series created by Oliver Postgate and Peter Firmin's Smallfilms company. It follows the adventures of a small green steam locomotive who lives in the "top left-hand corner of Wales" a ...

, the singing dragon in the 1970s UK children's program ''Ivor the Engine''

People

Technology

Other uses

See also