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 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 (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 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, 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

People

Technology

Other uses

See also