A Dependently Typed Functional Programming Language
Utgivarens beskrivning (engelska)
Vad är idris?
idris är programvara med öppen källkod för Windows (kategori: IDE:er och kodredigerare).
Installation och systemkrav
Utgivaren erbjuder installationsfiler för 64-bitars (Portabel). Den huvudsakliga installationsfilen är på 1 kB. Programmet körs utan installation (portabelt).
Popularitet och filtyper
Chocolatey-paketet har laddats ner 2 068 gånger. Liknande program är till exempel OpenCode, RStudio och Node.js (LTS).
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Portabelt: körs utan installation
- Liten nedladdning (1 kB)
Nackdelar
- Ingen inbyggd ARM64-version
- Den officiella nedladdningslänken svarade inte vid den senaste kontrollen
Kort sagt: idris är ett verktyg med öppen källkod i kategorin IDE:er och kodredigerare för datorer med 64-bitars.
Är det säkert att ladda ner idris?
- Filen levereras av neon.se; kontrollera att det är utgivarens officiella spegel
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Öppna VirusTotal-rapporten för den här hashen - Länken svarade inte vid den senaste kontrollen (26 oktober 2026)
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Senaste versionerna
Alla 1 versioner ›| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 1.3.3Senaste | 1 kB | 64-bitars ZIP |
Installera från kommandoraden
Tyst installation ›choco install idris -yscoop install main/idrisProgramfiler (.exe): idris.exe
Relaterad guide: Så använder du winget: installera och uppdatera
Information
- Kategori
- IDE:er och kodredigerare
- Licens
- BSD-3-Clause
- Pris
- Gratis
- Källkod
- github.com
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars
- Installationsfil
- Portabel
- Version
- 1.3.3
- Listade versioner
- 1
- Nedladdningar via Chocolatey
- 2 068
- Webbplats
- idris-lang.org
- Chocolatey-paket
- idris
- Scoop-paket
- main/idris
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Alternativ till idris
Visa alla ›-
Öppen källkod285,2 tn ↓ -
Öppen källkod705,1 tn ↓ -
Öppen källkod4,9 mn ↓ -
Öppen källkod88,8 tn ↓ -
Öppen källkod49,7 tn ↓ -
Öppen källkod136,7 tn ↓ -
Öppen källkod394,5 tn ↓ -
Öppen källkod94,6 tn ↓
Vanliga frågor
Är idris gratis?
Ja. idris är programvara med öppen källkod under licensen BSD-3-Clause.
Är det säkert att ladda ner idris?
Filen kommer från neon.se; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Fungerar idris på ARM (Windows on Arm)?
Det finns ingen ARM64-version; Windows 11 on Arm kan köra versionen för 64-bitars via emulering.
Kan jag använda idris utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.
Vilka alternativ finns till idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans och Haxe. Sidan med alternativ jämför dem.
