A Dependently Typed Functional Programming Language
Udgiverens beskrivelse (engelsk)
Hvad er idris?
idris er open source-software til Windows (kategori: IDE’er og kodeeditorer).
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (Portabel). Den primære installationsfil fylder 1 kB. Programmet kører uden installation (portabelt).
Popularitet og filtyper
Chocolatey-pakken er downloadet 2.068 gange. Lignende programmer er for eksempel OpenCode, RStudio og Node.js (LTS).
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
- Lille download (1 kB)
Ulemper
- Ingen indbygget ARM64-version
- Det officielle downloadlink svarede ikke ved seneste kontrol
Kort sagt: idris er et værktøj med åben kildekode i kategorien IDE’er og kodeeditorer til pc’er med 64-bit.
Er det sikkert at downloade idris?
- Filen leveres af neon.se; kontrollér, at det er udgiverens officielle spejl
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Åbn VirusTotal-rapporten for denne hash - Linket svarede ikke ved seneste kontrol (26. oktober 2026)
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Nyeste versioner
Alle 1 versioner ›| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.3.3Nyeste | 1 kB | 64-bit ZIP |
Installér fra kommandolinjen
Lydløs installation ›choco install idris -yscoop install main/idrisProgramfiler (.exe): idris.exe
Relateret vejledning: winget: installer og opdater programmer i Windows
Information
- Kategori
- IDE’er og kodeeditorer
- Licens
- BSD-3-Clause
- Pris
- Gratis
- Kildekode
- github.com
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- Portabel
- Version
- 1.3.3
- Registrerede versioner
- 1
- Downloads via Chocolatey
- 2.068
- Websted
- idris-lang.org
- Chocolatey-pakke
- idris
- Scoop-pakke
- main/idris
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til idris
Se alle ›-
Open source285,2 t ↓ -
Open source705,1 t ↓ -
Open source4,9 mio. ↓ -
Open source88,8 t ↓ -
Open source49,7 t ↓ -
Open source136,7 t ↓ -
Open source394,5 t ↓ -
Open source94,6 t ↓
Ofte stillede spørgsmål
Er idris gratis?
Ja. idris er open source-software under licensen BSD-3-Clause.
Er det sikkert at downloade idris?
Filen kommer fra neon.se; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Kører idris på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Kan jeg bruge idris uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
Hvilke alternativer findes der til idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans og Haxe. Siden med alternativer sammenligner dem.
