A Dependently Typed Functional Programming Language
Yayıncının açıklaması (İngilizce)
idris nedir?
idris programı ıde ve kod editörleri kategorisinde yer alan açık kaynaklı bir Windows yazılımıdır.
Kurulum ve gereksinimler
Yayıncı 64 bit sistemler için Taşınabilir kurulum dosyası sağlıyor. Ana kurulum dosyasının boyutu 1 KB. Kurulum gerektirmeden çalışır (taşınabilir).
Popülerlik ve dosya türleri
Chocolatey paketi 2.068 kez indirildi. Benzer programlar arasında OpenCode, RStudio ve Node.js (LTS) bulunuyor.
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Taşınabilir: kurulum gerektirmez
- Küçük indirme boyutu (1 KB)
Eksiler
- Yerel ARM64 sürümü yok
- Resmî indirme bağlantısı son kontrolde yanıt vermedi
Kısaca: idris, 64 bit bilgisayarlar için açık kaynaklı bir ıde ve kod editörleri aracı.
idris indirmek güvenli mi?
- Dosya neon.se adresinden geliyor; yayıncının resmî yansısı olduğunu kontrol edin
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Bu hash için VirusTotal raporunu açın - Bağlantı son kontrolde yanıt vermedi (26 Ekim 2026)
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Son sürümler
1 sürümün tümü ›| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 1.3.3Güncel | 1 KB | 64 bit ZIP |
Komut satırından kurulum
Sessiz kurulum ›choco install idris -yscoop install main/idrisProgram dosyaları (.exe): idris.exe
İlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Bilgiler
- Kategori
- IDE ve kod editörleri
- Lisans
- BSD-3-Clause
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- Taşınabilir
- Sürüm
- 1.3.3
- Kayıtlı sürüm
- 1
- Chocolatey indirmesi
- 2.068
- Resmî site
- idris-lang.org
- Chocolatey paketi
- idris
- Scoop paketi
- main/idris
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
idris alternatifleri
Tümünü gör ›-
Açık kaynak285,2 B ↓ -
Açık kaynak705,1 B ↓ -
Açık kaynak4,9 Mn ↓ -
Açık kaynak88,8 B ↓ -
Açık kaynak49,7 B ↓ -
Açık kaynak136,7 B ↓ -
Açık kaynak394,5 B ↓ -
Açık kaynak94,6 B ↓
Sıkça sorulan sorular
idris ücretsiz mi?
Evet. idris açık kaynaklı bir programdır (BSD-3-Clause lisansı).
idris indirmek güvenli mi?
İndirme neon.se adresinden gelir. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
idris ARM işlemcide (Windows on Arm) çalışır mı?
ARM64 sürümü yok; Windows 11 on Arm, 64 bit sürümünü öykünmeyle çalıştırabilir.
idris yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.
idris alternatifleri nelerdir?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ve Haxe. Alternatifler sayfası bunları karşılaştırıyor.
