A Dependently Typed Functional Programming Language
Beskrywing deur die uitgewer (Engels)
Wat is idris?
idris is Windows-sagteware met oop bronkode (kategorie: IDE’s en koderedigeerders).
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis Windows (Draagbaar). Die hoofinstalleerder is 1 KB groot. Dit werk sonder installasie (draagbaar).
Gewildheid en lêertipes
Die Chocolatey-pakket is al 2 068 keer afgelaai. Soortgelyke programme sluit OpenCode, RStudio en Node.js (LTS) in.
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Draagbaar: werk sonder installasie
- Klein aflaai (1 KB)
Nadele
- Geen inheemse ARM64-weergawe nie
- Die amptelike aflaaiskakel het by die laaste kontrole nie gereageer nie
Kortliks: idris is ’n oopbronprogram in die kategorie IDE’s en koderedigeerders vir 64-bis rekenaars.
Is dit veilig om idris af te laai?
- Die lêer word bedien deur neon.se; maak seker dit is die uitgewer se amptelike spieëlwerf
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel het nie gereageer toe ons dit laas nagegaan het nie (26 Oktober 2026)
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 1 weergawes ›| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 1.3.3Nuutste | 1 KB | 64-bis ZIP |
Installeer vanaf die opdragreël
Stil installasie ›choco install idris -yscoop install main/idrisProgramlêers (.exe): idris.exe
Verwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Kategorie
- IDE’s en koderedigeerders
- Lisensie
- BSD-3-Clause
- Prys
- Gratis
- Bronkode
- github.com
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis
- Installeerder
- Draagbaar
- Weergawe
- 1.3.3
- Weergawes gelys
- 1
- Chocolatey-aflaaie
- 2 068
- Webwerf
- idris-lang.org
- Chocolatey-pakket
- idris
- Scoop-pakket
- main/idris
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Alternatiewe vir idris
Sien alles ›-
Oopbron285,2 k ↓ -
Oopbron705,1 k ↓ -
Oopbron4,9 m ↓ -
Oopbron88,8 k ↓ -
Oopbron49,7 k ↓ -
Oopbron136,7 k ↓ -
Oopbron394,5 k ↓ -
Oopbron94,6 k ↓
Algemene vrae
Is idris gratis?
Ja. idris is oopbronsagteware onder die BSD-3-Clause-lisensie.
Is dit veilig om idris af te laai?
Die aflaai kom van neon.se; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Werk idris op ARM (Windows on Arm)?
Daar is geen ARM64-weergawe nie; Windows 11 on Arm kan die 64-bis-weergawe via emulasie laat loop.
Kan idris sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
Wat is alternatiewe vir idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans en Haxe. Die bladsy met alternatiewe vergelyk hulle.
