A Dependently Typed Functional Programming Language
Beschreibung des Herstellers (Englisch)
Was ist idris?
idris ist quelloffene Software für Windows (Kategorie: IDEs & Code-Editoren).
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit an (Portabel). Das Haupt-Setup ist 1 KB groß. Das Programm läuft ohne Installation (portabel).
Verbreitung und Dateitypen
Das Chocolatey-Paket wurde 2.068-mal heruntergeladen. Vergleichbare Programme sind etwa OpenCode, RStudio und Node.js (LTS).
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
- Kleiner Download (1 KB)
Nachteile
- Keine native ARM64-Version
- Der offizielle Download-Link hat bei der letzten Prüfung nicht geantwortet
Kurz gesagt: idris ist ein quelloffenes Tool aus der Kategorie „IDEs & Code-Editoren“ für PCs mit 64-Bit.
Ist der Download von idris sicher?
- Die Datei kommt von neon.se; prüfen Sie, ob das ein offizieller Mirror des Herstellers ist
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· VirusTotal-Bericht zu diesem Hash öffnen - Der Link hat bei der letzten Prüfung nicht geantwortet (26. Oktober 2026)
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 1 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 1.3.3Aktuell | 1 KB | 64-Bit ZIP |
Installation per Kommandozeile
Silent Install ›choco install idris -yscoop install main/idrisProgrammdateien (.exe): idris.exe
Passende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Kategorie
- IDEs & Code-Editoren
- Lizenz
- BSD-3-Clause
- Preis
- Kostenlos
- Quellcode
- github.com
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- Portabel
- Version
- 1.3.3
- Erfasste Versionen
- 1
- Chocolatey-Downloads
- 2.068
- Website
- idris-lang.org
- Chocolatey-Paket
- idris
- Scoop-Paket
- main/idris
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu idris
Alle anzeigen ›-
Open Source285.188 ↓ -
Open Source705.076 ↓ -
Open Source4,9 Mio. ↓ -
Open Source88.824 ↓ -
Open Source49.712 ↓ -
Open Source136.721 ↓ -
Open Source394.488 ↓ -
Open Source94.599 ↓
Häufige Fragen
Ist idris kostenlos?
Ja. idris ist Open-Source-Software unter der Lizenz BSD-3-Clause.
Ist der Download von idris sicher?
Die Datei kommt von neon.se; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Läuft idris auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Kann ich idris ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
Welche Alternativen zu idris gibt es?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans und Haxe. Die Seite mit den Alternativen vergleicht sie.
