A Dependently Typed Functional Programming Language
Beschrijving van de uitgever (Engels)
Wat is idris?
idris is opensource software voor Windows (categorie: IDE’s & code-editors).
Installatie en systeemeisen
De uitgever levert installers voor 64-bits (Portable). Het hoofdinstallatiebestand is 1 KB groot. Het programma werkt zonder installatie (portable).
Populariteit en bestandstypen
Het Chocolatey-pakket is 2.068 keer gedownload. Vergelijkbare programma’s zijn onder meer OpenCode, RStudio en Node.js (LTS).
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Portable: werkt zonder installatie
- Kleine download (1 KB)
Nadelen
- Geen native ARM64-versie
- De officiële downloadlink reageerde niet bij de laatste controle
Kort gezegd: idris is een opensource tool uit de categorie IDE’s & code-editors voor pc’s met 64-bits.
Is idris veilig om te downloaden?
- Het bestand komt van neon.se; controleer of dit een officiële mirror van de uitgever is
- De downloadlink gebruikt HTTPS
- Er is een SHA256-hash gepubliceerd, dus het bestand is te controleren:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Open het VirusTotal-rapport voor deze hash - De link reageerde niet bij de laatste controle (26 oktober 2026)
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Recente versies
Alle 1 versies ›| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 1.3.3Nieuwste | 1 KB | 64-bits ZIP |
Installeren via de opdrachtregel
Stille installatie ›choco install idris -yscoop install main/idrisProgrammabestanden (.exe): idris.exe
Gerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Informatie
- Categorie
- IDE’s & code-editors
- Licentie
- BSD-3-Clause
- Prijs
- Gratis
- Broncode
- github.com
- Vereist
- Windows 11 / 10
- Architectuur
- 64-bits
- Installer
- Portable
- Versie
- 1.3.3
- Versies in de lijst
- 1
- Chocolatey-downloads
- 2.068
- Website
- idris-lang.org
- Chocolatey-pakket
- idris
- Scoop-pakket
- main/idris
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Alternatieven voor idris
Alles bekijken ›-
Open source285,2K ↓ -
Open source705,1K ↓ -
Open source4,9 mln. ↓ -
Open source88,8K ↓ -
Open source49,7K ↓ -
Open source136,7K ↓ -
Open source394,5K ↓ -
Open source94,6K ↓
Veelgestelde vragen
Is idris gratis?
Ja. idris is opensourcesoftware onder de licentie BSD-3-Clause.
Is idris veilig om te downloaden?
Het bestand komt van neon.se; ExeAtlas host of wijzigt het niet. Vergelijk de SHA256-hash van het gedownloade bestand met de hash op deze pagina, of open het VirusTotal-rapport voor die hash.
Werkt idris op ARM (Windows on Arm)?
Er is geen ARM64-versie; Windows 11 on Arm kan de versie voor 64-bits via emulatie draaien.
Werkt idris zonder beheerdersrechten?
Ja, het programma is portable: uitpakken en starten.
Wat zijn alternatieven voor idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans en Haxe. De pagina met alternatieven vergelijkt ze.
