Idris may refer to:

People

Idris (name) Idris is a Welsh and Arabic given name (usually masculine), also given as surname. The name has two different etymologies. Welsh: 'Ardent lord', from (lord, prince) + (ardent, enthusiastic, impulsive). It lends its name to the mountain ('Idr ...

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

Idris (prophet) Idris () is an ancient prophet mentioned in the Qur'an, who Muslims believe was the second prophet after Adam. He is the third prophet mentioned in the Quran. Islamic tradition has unanimously identified Idris with the biblical Enoch. Many Musl ...

, 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 Idris (, Muhammad Idris bin Muhammad al-Mahdi as-Senussi; 13 March 1890 – 25 May 1983) was King of Libya from 24 December 1951 until his ousting in the 1 September 1969 coup d'état. He ruled over the United Kingdom of Libya from 1951 to 19 ...

(1889–1983), King of Libya *

Idris I of Morocco Idris (I) ibn Abd Allah (; d. 791), also known as Idris the Elder (), was a Hasanid and the founder of the Idrisid dynasty in part of northern Morocco, after fleeing the Hejaz as a result of the Battle of Fakhkh.''A History of the Maghrib in t ...

(745–791), Emir of Morocco *

Idris II of Morocco Idrīs ibn Idrīs () known as Idris II () and Idrīs al-Azhar/al-Aṣghar () (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 death of his father. H ...

(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) 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 is designed to be a general-purpose programming language s ...

, 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 was a British producer of soft drinks based in Hemel Hempstead, England. It produced soft drinks under its own name, as well as several other brands. It was listed on the London Stock Exchange until it was acquired by Carlsberg Group an ...

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'' * ''Idris'', a North Atlantic basin tropical cyclone name to be used beginning in the 2028 Atlantic hurricane season * RAF Idris, an airport in Libya also called

RAF Castel Benito RAF Castel Benito (called originally in Italian "Tripoli-Castel Benito Airport") was an airport of Tripoli created by the Italians in Italian Libya. Originally, it was a small military airport named Castel Benito, but it was enlarged in the ...

People

Technology

Other uses

See also