Desktop Insights
  • Apps
  • Tech
  • Statistics
  • Documentation
  • Pricing
Sign InSign Up
Home/Apps/Idris
I

Idris

Windowsnative
Available onDirect Download
Runtime
native
Size
501 MB
Architecture
x64
Dependencies
4
2 categories

Idris is a native app that uses 4 detected dependencies across 2 categories including Compression, Other. It is not code-signed. 501 MB on Windows (x64). Last verified April 2026.

What is Idris built with?

4 detected dependencies across 2 categories.

Compression

2
zlibbzip2

Sign up to see Compression details

Sign Up Free

Other

2
Idris-devansi-terminal

Sign up to see Other details

Sign Up Free

Last verified April 25, 2026

Get version history, dependency trees, and scores via API
Desktop Insights

The only technographics platform for desktop software. See the SDKs, frameworks, and dependencies inside thousands of macOS and Windows applications.

© Copyright 2026 Desktop Insights. All Rights Reserved.

About
  • About
  • Blog
  • Contact
  • Twitter / X
Product
  • Statistics
  • Documentation
  • MCP Server
  • Smithery
  • Glama
Legal
  • Terms of Service
  • Privacy Policy
  • Cookie Policy