Idris
≈ 1 min read
Names in other languages
- cyIdris
- DeutschIdris
- EnglishIdris
- FrançaisIdris
- NederlandsIdris
- PortuguêsIdris
- РусскийИдрис
- 한국어이드리스
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
Wikimedia disambiguation page
Idris may refer to:
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 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
See also
Cadair Idris, a mountain in Gwynedd, Wales, meaning "Chair of Idris [the Giant]" Driss Iblis (disambiguation) Iddris Idrisi (disambiguation) Idrisi (surname) Idriss
Structured factual content from Wikidata, released under CC0.