idris · Devicon
Free SVG idris icon from Devicon. Rendered at 24×24 in the filled style and licensed under MIT. Copy directly as SVG, React (JSX), or Vue. Download as SVG or PNG. No login, no attribution required for MIT licensed icons.
Tags
- idris
Code
HTML / SVG
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" width="24" height="24"><g transform="scale(0.1875) translate(0 0)"><path fill="#8a0819" d="M52.047 0c160.34 56.686-35.257 58.058 6.717 123.887L83.947 128C14.271 76.8 238.41 50.286 52.047 0m1.314 18.947c-3.505-.06-7.295.024-11.386.252c30.22 5.03 37.774 9.144 48.687 23.772c-2.204-16-12.762-23.599-37.3-24.024m-39.93 12.139c29.382 3.2 47.851 7.772 58.764 28.344c2.518-26.515-24.345-29.26-58.763-28.344M0 47.543c19.308 3.2 41.973 5.943 50.367 26.057C53.725 48.457 31.9 47.086 0 47.543"/></g></svg>
React
// Run: npx sant-icons get devicon-idris --format react
export function DeviconIdris(props) {
return (
<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" width="24" height="24" {...props}><g transform="scale(0.1875) translate(0 0)"><path fill="#8a0819" d="M52.047 0c160.34 56.686-35.257 58.058 6.717 123.887L83.947 128C14.271 76.8 238.41 50.286 52.047 0m1.314 18.947c-3.505-.06-7.295.024-11.386.252c30.22 5.03 37.774 9.144 48.687 23.772c-2.204-16-12.762-23.599-37.3-24.024m-39.93 12.139c29.382 3.2 47.851 7.772 58.764 28.344c2.518-26.515-24.345-29.26-58.763-28.344M0 47.543c19.308 3.2 41.973 5.943 50.367 26.057C53.725 48.457 31.9 47.086 0 47.543"/></g></svg>
);
}CLI
npx sant-icons get devicon-idris
Properties
The idris icon ships with Devicon, an open-source icon set licensed under MIT. Search for it as "devicon idris", "idris svg", or any of its tagged terms (idris). The SVG is normalised to a 24×24 viewBox so you can drop it into any UI framework alongside the other icons here without scaling concerns.
Need this icon in your codebase fast? Install the MCP server for Claude Code (or any MCP-aware AI tool) and ask the model to fetch devicon-idris directly into your project. No browser context-switch.