A Dependently Typed Functional Programming Language
Deskripsi dari penerbit (Inggris)
Apa itu idris?
idris merupakan software open source untuk Windows yang termasuk kategori IDE & editor kode.
Instalasi dan persyaratan sistem
Penerbit menyediakan installer Portabel untuk sistem 64-bit. Ukuran installer utamanya 1 KB. Program ini bisa dijalankan tanpa instalasi (portabel).
Popularitas dan jenis file
Paket Chocolatey-nya sudah diunduh 2.068 kali. Program serupa antara lain OpenCode, RStudio dan Node.js (LTS).
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Portabel: berjalan tanpa instalasi
- Ukuran unduhan kecil (1 KB)
Kekurangan
- Tidak ada versi ARM64 native
- Tautan download resmi tidak merespons saat terakhir dicek
Singkatnya: idris adalah aplikasi kategori IDE & editor kode yang open source untuk PC 64-bit.
Apakah idris aman diunduh?
- File disediakan oleh neon.se; pastikan itu mirror resmi dari penerbit
- Tautan download menggunakan HTTPS
- Hash SHA256 tersedia, sehingga file bisa diverifikasi:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Buka laporan VirusTotal untuk hash ini - Tautan tidak merespons saat terakhir dicek (26 Oktober 2026)
- Kode sumbernya terbuka untuk umum
- ExeAtlas tidak menyimpan, membungkus, atau mengubah installer
Panduan terkait: Cara cek hash SHA256 file di Windows
Rilis terakhir
Semua 1 versi ›| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 1.3.3Terbaru | 1 KB | 64-bit ZIP |
Instalasi lewat command line
Instalasi senyap ›choco install idris -yscoop install main/idrisFile program (.exe): idris.exe
Panduan terkait: Cara pakai winget: instal dan update aplikasi
Informasi
- Kategori
- IDE & editor kode
- Lisensi
- BSD-3-Clause
- Harga
- Gratis
- Kode sumber
- github.com
- Persyaratan
- Windows 11 / 10
- Arsitektur
- 64-bit
- Installer
- Portabel
- Versi
- 1.3.3
- Versi tercatat
- 1
- Unduhan Chocolatey
- 2.068
- Situs web
- idris-lang.org
- Paket Chocolatey
- idris
- Paket Scoop
- main/idris
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Alternatif idris
Lihat semua ›-
Open source285,2 rb ↓ -
Open source705,1 rb ↓ -
Open source4,9 jt ↓ -
Open source88,8 rb ↓ -
Open source49,7 rb ↓ -
Open source136,7 rb ↓ -
Open source394,5 rb ↓ -
Open source94,6 rb ↓
Pertanyaan yang sering diajukan
Apakah idris gratis?
Ya. idris adalah software open source berlisensi BSD-3-Clause.
Apakah idris aman diunduh?
File download berasal dari neon.se; ExeAtlas tidak menyimpan atau mengubah file tersebut. Cocokkan hash SHA256 file tersebut dengan yang tertera di sini, atau buka laporan VirusTotal untuk hash itu.
Apakah idris bisa berjalan di prosesor ARM (Windows on Arm)?
Tidak ada versi ARM64; Windows 11 on Arm dapat menjalankan versi 64-bit melalui emulasi.
Apakah idris bisa dipakai tanpa hak administrator?
Ya, program ini portabel: cukup ekstrak lalu jalankan.
Apa saja alternatif idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans dan Haxe. Halaman alternatif membandingkan semuanya.
