|
Idris
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 (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), ''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 childr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 over the United Kingdom of Libya from 1951 to 1963, after which the country became known as simply the ''Kingdom of Libya''. Idris had served as Emir of Cyrenaica and Tripolitania from the 1920s until 1951. He was the chief of the Senussi Muslim order. Idris was born into the Senussi Order. When his cousin Ahmed Sharif as-Senussi abdicated as leader of the Order, Idris took his position. The Senussi campaign was taking place, with the British and Italians fighting the Order. Idris put an end to the hostilities and, through the Modus vivendi of Acroma, abandoned Ottoman protection. Between 1919 and 1920, Italy recognized Senussi control over most of Cyrenaica in exchange for the recognition of Italian sovereignty by Idris. Idris then ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 mountain ('Idris's Chair') by way of ('Idris the Giant'). The story of is believed to have come from the monkish king Idris of , who was slain in a battle with Oswald of Northumbria on the River Severn. This indicates that the name may well have been used in Wales before his final stand in 632. Arabic (, also transliterated ''Idrees''): Idris, the Islamic prophet mentioned in the Qur'an, usually identified with Enoch in the Bible. The original meaning may be "interpreter."''Encyclopedia of Islam'', Juan Eduardo Campo, Infobase Publishing, 2009, pg. 344: "It probably originated as a term in ancient Hebrew for "interpreter"..." The name ''Idris'' means studious, smart, or to learn in Arabic. The prophet Idris in the Islamic religion wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 biblical Enoch, although many Muslim scholars of the classical and medieval periods also held that Idris and Hermes Trismegistus were the same person. He is described in the Quran as "trustworthy" and "patient" and the Quran also says that he was "exalted to a high station". Because of this and other parallels, traditionally Idris has been identified with the biblical Enoch, and Islamic tradition usually places Idris in the early Generations of Adam, and considers him one of the oldest prophets mentioned in the Quran, placing him between Adam and Noah. Idris' unique status inspired many future traditions and stories surrounding him in Islamic folklore. According to ''hadith'', narrated by Malik ibn Anas and found in ''Sahih Muslim'', it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Idris (genus)
''Idris'' is a genus of parasitic wasps in the family Platygastridae, containing about 160 described species. This genus is part of the tribe Baeini, which are egg parasitoids. Members of the genus ''Idris'' are mostly parasitoids of spider eggs, but at least one member of the genus uses stink bugs as hosts.Michelson, A. (n.d.). Tiny Parasitic Wasp Named After Idris Elba Hijacks Stink Bug Eggs. Smithsonian Magazine. Retrieved March 3, 2021, from https://www.smithsonianmag.com/science-nature/tiny-parasitic-wasp-named-after-idris-elba-hijacks-stink-bug-eggs-180973617/ Species Species: *'' Idris adikeshavus'' *'' Idris aenea'' *'' Idris affinis'' *''Idris agraensis'' *'' Idris alticola'' *''Idris alticollis'' *''Idris amplus'' *''Idris angustipennis'' *''Idris annexia'' *'' Idris appangalus'' *'' Idris arachnevora'' *''Idris ater'' *'' Idris aureonitens'' *''Idris aureus'' *'' Idris badius'' *''Idris balteus'' *''Idris benoiti'' *''Idris bicolor'' *''Idris bicol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cadair Idris
Cadair Idris or Cader Idris is a mountain in the Meirionnydd area of Gwynedd, Wales. It lies at the southern end of the Snowdonia National Park near the town of Dolgellau. The peak, which is one of the most popular in Wales for walkers and hikers, is composed largely of Ordovician igneous rocks, with classic glacial erosion features such as cwms, moraines, striated rocks, and roches moutonnées. Etymology ''Cadair Idris'' means 'Idris's Chair'. Idris is usually taken to be the name of a giant or, alternatively, it may refer to Idris ap Gwyddno (or Gweiddno), a 7th-century prince of Meirionnydd who won a battle against the Irish on the mountain. Idris ap Gwyddno was in fact referred to as ''Idris Gawr'' ("Idris the Giant") in some mediaeval genealogies of Meirionydd. The basic meaning of the word ''cadair'' (Middle Welsh/ Early Modern Welsh ''kadeir'' or ''cadeir'') is 'seat, chair' (borrowed from the Greek ''cathedra'' 'chair'). In place names ''cadair'' can mean 'stron ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 Idrisid dynasty in part of northern Morocco, in alliance with the Berber tribe of Awraba, after fleeing the Hejaz as a result of the Battle of Fakhkh. He ruled from 788 to 791. He is credited with founding the dynasty that established Moroccan statehood and is regarded as the "founder of Morocco".''A History of the Maghrib in the Islamic Period'', Jamil M. Abun-Nasr, 1987, p. 51-52 History Idris was the great-grandchild of Hasan, who was the son of Fatima and Ali and grandson of the Islamic prophet, Muhammad. He was born and raised in Arabia. His paternal half-brothers Muhammad al-Nafs al-Zakiyya and Ibrahim had been killed by the Abbasids during an abortive rebellion. His brother Yahya rose in revolt in Daylam, but was forced to s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 similar to Haskell. The Idris type system is similar to Agda's, and proofs are similar to Coq's, including tactics (theorem proving functions/procedures) via elaborator reflection. Compared to Agda and Coq, Idris prioritizes management of side effects and support for embedded domain-specific languages. Idris compiles to C (relying on a custom copying garbage collector using Cheney's algorithm) and JavaScript (both browser- and Node.js-based). There are third-party code generators for other platforms, including JVM, CIL, and LLVM. Idris is named after a singing dragon from the 1970s UK children's television program '' Ivor the Engine''. Features Idris combines a number of features from relatively mainstream functional program ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 death of his father. He succeeded his father Idris I in 803. Biography Idris II was born on August 791, two months after the death—June 791—of Idris I. His mother was Kenza, his father's wife and the daughter of the Awraba tribe chieftain, Ishaq ibn Mohammed al-Awarbi. He was raised among the Berber Awraba tribe of Volubilis. In 803, he was proclaimed ''Imam'' in the mosque of Walila succeeding his father. Of the Idrisid sultans Idris II was one of the best educated. In the work of Ibn al-Abbar, correspondence between Idris II and his contemporary Ibrahim I ibn al-Aghlab is quoted in which he invites him to renounce his claims to his territories. By the end of Idris II's reign, the Idrisid kingdom included the area between the Shali ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 may be an error and he may have originally been known as "Idris Arw" (Idris the Coarse). He was apparently so large that he could sit on the summit of Cadair Idris and survey his whole kingdom. Cadair Idris, a Welsh mountain, literally means "Chair of Idris". Idris was said to have studied the stars from on top of it and it was later reputed to bestow either madness or poetic inspiration on whoever spent a night on its summit. According to John Rhys, there were three other giants in the Welsh tradition along with Idris; these were Ysgydion, Offrwm, and Ysbryn and each of them is said to have a mountain named after him somewhere in the vicinity of Cadair Idris. Another story has Idris seated in his chair plucking irritating grit from his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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" and works for ''The Merioneth and Llantisilly Railway Traction Company Limited''. His friends include Jones the Steam, Evans the Song and Dai Station, among many other characters. Background Having produced the live ''Alexander the Mouse'', and the stop motion animated ''The Journey of Master Ho'' for his employers Associated Rediffusion/ ITV in partnership with Firmin, Oliver Postgate and his partner set up Smallfilms in a disused cow shed at Firmin's home in Blean, near Canterbury, Kent. ''Ivor the Engine'' was Smallfilms' first production, and drew inspiration from Postgate's World War II encounter with Welshman Denzyl Ellis, a former railway locomotive fireman with the Royal Scot train, who described how steam engines came to life w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 for the PDP-11 by P. J. Plauger, who started working on Idris in August 1978. It was binary compatible with Unix V6 on PDP-11, but it could run on non- memory managed systems (like LSI-11 or PDP-11/23) as well. The kernel required 31 KB of RAM, and the C compiler (provided along with the standard V6 toolset) had more or less the same size. Ports Although Idris was initially available for the PDP-11, it was later ported to run on a number of platforms, such as the VAX, Motorola 68000, System/370 and Intel 8086. There was also a version that used bank-switching for memory management, that ran on the Intel 8080. In 1986, David M. Stanhope at Computer Tools International ported Idris to the Atari ST and developed its ROM ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Idrisi (surname)
{{surname ...
Idrisi ( ar, ادريسي) is a family name in Middle East and South Asia. Idris is a masculine first name. Notable people with the name include: * Muhammad al-Idrisi, a 12th-century explorer, geographer and writer * Idris I of Libya, a 20th-century Libyan king See also * Idris, a prophet of Islam, named Enoch in Judaism and Christianity * Idrisid dynasty * Idris 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 G ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Cadair Idris")
