From Wikipedia, the free encyclopedia
Idris may refer to:
- Cadair Idris, a mountain in Gwynedd, Wales, meaning "Idris' Chair"
- Idris (name), list of people with this given name or surname
This section lists people commonly referred to solely by this name.
- Idris (operating system), a multi-tasking, Unix-like, multi-user, real-time operating system
- Idris (programming language), a functional dependent-type programming language
- Idris, a brand of ginger beer produced by Britvic
|This disambiguation page lists articles associated with the title Idris.
If an internal link led you here, you may wish to change the link to point directly to the intended article.