A Dependently Typed Functional Programming Language
Description de l’éditeur (anglais)
idris : présentation
idris fait partie des logiciels open source pour Windows de la catégorie « IDE et éditeurs de code ».
Installation et configuration requise
L’éditeur fournit des installateurs Portable pour les versions 64 bits de Windows. L’installateur principal pèse 1 Ko. Il fonctionne sans installation (version portable).
Popularité et types de fichiers
Le paquet Chocolatey a été téléchargé 2 068 fois. Parmi les logiciels comparables figurent OpenCode, RStudio et Node.js (LTS).
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Portable : fonctionne sans installation
- Téléchargement léger (1 Ko)
Points faibles
- Pas de version ARM64 native
- Le lien de téléchargement officiel n’a pas répondu lors de la dernière vérification
En résumé: idris est un logiciel open source de la catégorie « IDE et éditeurs de code », proposé pour les PC 64 bits.
idris : le téléchargement est-il sûr ?
- Le fichier est servi par neon.se ; vérifiez qu’il s’agit bien d’un miroir officiel de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Une empreinte SHA256 est publiée : le fichier peut être vérifié:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Ouvrir le rapport VirusTotal de cette empreinte - Le lien n’a pas répondu lors de la dernière vérification (26 octobre 2026)
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Versions récentes
Toutes les versions (1) ›| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 1.3.3Dernière | 1 Ko | 64 bits ZIP |
Installer en ligne de commande
Installation silencieuse ›choco install idris -yscoop install main/idrisFichiers programme (.exe): idris.exe
Guide associé: Utiliser winget : installer et mettre à jour
Informations
- Catégorie
- IDE et éditeurs de code
- Licence
- BSD-3-Clause
- Prix
- Gratuit
- Code source
- github.com
- Configuration requise
- Windows 11 / 10
- Architecture
- 64 bits
- Installateur
- Portable
- Version
- 1.3.3
- Versions répertoriées
- 1
- Téléchargements Chocolatey
- 2 068
- Site officiel
- idris-lang.org
- Paquet Chocolatey
- idris
- Paquet Scoop
- main/idris
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Alternatives à idris
Tout voir ›-
Open source285,2 k ↓ -
Open source705,1 k ↓ -
Open source4,9 M ↓ -
Open source88,8 k ↓ -
Open source49,7 k ↓ -
Open source136,7 k ↓ -
Open source394,5 k ↓ -
Open source94,6 k ↓
Questions fréquentes
idris est-il gratuit ?
Oui. idris est un logiciel open source distribué sous licence BSD-3-Clause.
idris : le téléchargement est-il sûr ?
Le fichier est servi par neon.se ; ExeAtlas n’héberge pas le fichier et ne le modifie pas. Comparez son empreinte SHA256 avec celle affichée ici, ou ouvrez le rapport VirusTotal de cette empreinte.
idris fonctionne-t-il sur ARM (Windows on Arm) ?
Il n’existe pas de version ARM64 ; Windows 11 sur Arm peut exécuter la version 64 bits par émulation.
Peut-on utiliser idris sans droits d’administrateur ?
Oui, il s’agit d’une version portable : il suffit de la décompresser et de la lancer.
Quelles sont les alternatives à idris ?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans et Haxe. La page des alternatives les compare.
