A Dependently Typed Functional Programming Language
Publisher’s description
What is idris?
idris is open-source Windows software in the ides & code editors category.
Installation and requirements
The publisher provides Portable installers for 64-bit Windows. The main installer is 1 KB. It runs without installation (portable).
Popularity and file types
The Chocolatey package has been downloaded 2,068 times. Similar programs include OpenCode, RStudio and Node.js (LTS).
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Portable: runs without installation
- Small download (1 KB)
Cons
- No native ARM64 build
- The official download link did not answer at the last check
In short: idris is an open-source ides & code editor tool for 64-bit PCs.
Is idris safe to download?
- The file is served by neon.se; check that it is the publisher’s official mirror
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Open the VirusTotal report for this hash - The link did not answer when we last checked it (October 26, 2026)
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 1 versions ›| Version | Date | Size | Files |
|---|---|---|---|
| 1.3.3Latest | 1 KB | 64-bit ZIP |
Install from the command line
Silent install ›choco install idris -yscoop install main/idrisProgram files (.exe): idris.exe
Related guide: How to use winget: install and update apps
Information
- Category
- IDEs & code editors
- Licence
- BSD-3-Clause
- Price
- Free
- Source code
- github.com
- Requires
- Windows 11 / 10
- Architecture
- 64-bit
- Installer
- Portable
- Version
- 1.3.3
- Versions listed
- 1
- Chocolatey downloads
- 2,068
- Website
- idris-lang.org
- Chocolatey package
- idris
- Scoop package
- main/idris
Ratings and reviews
No reviews yet. Be the first to rate it.
Alternatives to idris
See all ›-
OpenCode1.19.4OpenCode is an open source agent that helps you write and run code with any AI model. It's available as a terminal-based interface, desktop app, or IDE extension.Open source285.2K ↓ -
Open source705.1K ↓ -
Open source4.9M ↓ -
Open source88.8K ↓ -
Haxe4.3.7Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler.Open source49.7K ↓ -
Haskell Stack3.11.1Stack is a cross-platform program for developing Haskell projects. It is aimed at Haskellers both new and experienced.Open source136.7K ↓ -
VSCodium1.143.17183VSCodium is a community-driven, freely-licensed and telemetry-free rebuilt of Microsoft's Visual Studio Code.Open source394.5K ↓ -
Open source94.6K ↓
Frequently asked questions
Is idris free?
Yes. idris is open-source software under the BSD-3-Clause licence.
Is idris safe to download?
The download comes from neon.se; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
Does idris run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 64-bit version through emulation.
Can I use idris without administrator rights?
Yes, it is portable: unpack and run it.
What are alternatives to idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans and Haxe. The alternatives page compares them.
