Idris may refer to:

People

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

, a list of people and fictional characters with the given name or surname *

Idris (prophet) Idris ( ar, إدريس, ʾIdrīs) is an ancient prophet mentioned in the Quran, whom Muslims believe was the third prophet after Seth. He is the second prophet mentioned in the Quran. Islamic tradition has unanimously identified Idris with the b ...

, Islamic prophet in the Qur'an, traditionally identified with Enoch, an ancestor of Noah in the Bible * Idris Gawr or Idris the Giant (c. 560–632), Welsh king * Idris I of Kanem, 14th century King of Chad *

Idris of Libya Muhammad Idris bin Muhammad al-Mahdi as-Senussi ( ar, إدريس, Idrīs; 13 March 1890 – 25 May 1983) was a Libyan political and religious leader who was King of Libya from 24 December 1951 until his overthrow on 1 September 1969. He ruled ov ...

(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 Idris bin Idris ( ar, إدريس بن إدريس) known as Idris II ( ar, إدريس الثاني) (August 791 – August 828), was the son of Idris I, the founder of the Idrisid dynasty in Morocco. He was born in Walīlī two months after the d ...

(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 becom ...

, 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 languag ...

, a functional programming language with dependent types *

Idris (operating system) Idris is a discontinued multi-tasking, Unix-like, multi-user, real-time operating system released by Whitesmiths, of Westford, Massachusetts. The product was commercially available from 1979 through 1988. Background Idris was originally written f ...

, 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" ...

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

People

Technology

Other uses

See also