A Dependently Typed Functional Programming Language
Utgiverens beskrivelse (engelsk)
Hva er idris?
idris er programvare med åpen kildekode for Windows (kategori: IDE-er og koderedigering).
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for 64-bit; filformater: Portabel. Hovedinstallasjonsfilen er på 1 KB. Programmet kjører uten installasjon (portabelt).
Popularitet og filtyper
Chocolatey-pakken er lastet ned 2 068 ganger. Lignende programmer er blant annet OpenCode, RStudio og Node.js (LTS).
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
- Liten nedlasting (1 KB)
Ulemper
- Ingen egen ARM64-versjon
- Den offisielle nedlastingslenken svarte ikke ved siste sjekk
Kort sagt: idris er et verktøy med åpen kildekode i kategorien IDE-er og koderedigering for PC-er med 64-bit.
Er det trygt å laste ned idris?
- Filen leveres av neon.se; sjekk at dette er utgiverens offisielle speil
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken svarte ikke da vi sist sjekket den (26. oktober 2026)
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 1 versjon ›| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.3.3Nyeste | 1 KB | 64-bit ZIP |
Installer fra kommandolinjen
Stille installasjon ›choco install idris -yscoop install main/idrisProgramfiler (.exe): idris.exe
Relatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Kategori
- IDE-er og koderedigering
- Lisens
- BSD-3-Clause
- Pris
- Gratis
- Kildekode
- github.com
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- Portabel
- Versjon
- 1.3.3
- Registrerte versjoner
- 1
- Chocolatey-nedlastinger
- 2 068
- Nettsted
- idris-lang.org
- Chocolatey-pakke
- idris
- Scoop-pakke
- main/idris
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Alternativer til idris
Se alle ›-
Åpen kildekode285,2k ↓ -
Åpen kildekode705,1k ↓ -
Åpen kildekode4,9 mill. ↓ -
Åpen kildekode88,8k ↓ -
Åpen kildekode49,7k ↓ -
Åpen kildekode136,7k ↓ -
Åpen kildekode394,5k ↓ -
Åpen kildekode94,6k ↓
Ofte stilte spørsmål
Er idris gratis?
Ja. idris er programvare med åpen kildekode under lisensen BSD-3-Clause.
Er det trygt å laste ned idris?
Filen lastes ned fra neon.se; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Kjører idris på ARM (Windows on Arm)?
Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.
Kan jeg bruke idris uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
Hvilke alternativer finnes til idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans og Haxe. Siden med alternativer sammenligner dem.
