A Dependently Typed Functional Programming Language
Opis producenta (angielski)
Czym jest idris?
idris to oprogramowanie na Windows o otwartym kodzie źródłowym, kategoria „IDE i edytory kodu”.
Instalacja i wymagania
Producent udostępnia instalatory Wersja przenośna dla systemów 64-bit. Rozmiar głównego instalatora: 1 KB. Program działa bez instalacji (wersja przenośna).
Popularność i typy plików
Pakiet Chocolatey pobrano 2068 razy. Podobne programy: OpenCode, RStudio i Node.js (LTS).
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Wersja przenośna: działa bez instalacji
- Mały instalator (1 KB)
Wady
- Brak natywnej wersji ARM64
- Oficjalny link do pobrania nie odpowiedział przy ostatnim sprawdzeniu
W skrócie: idris to program na Windows o otwartym kodzie źródłowym z kategorii „IDE i edytory kodu”; wersje: 64-bit.
Czy pobieranie programu idris jest bezpieczne?
- Plik jest pobierany z serwera neon.se; warto sprawdzić, czy to oficjalny serwer lustrzany producenta
- Link do pobrania używa HTTPS
- Opublikowano sumę SHA256, więc plik można zweryfikować:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· Otwórz raport VirusTotal dla tej sumy - Link nie odpowiedział przy ostatnim sprawdzeniu (26 października 2026)
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Najnowsze wersje
Wszystkie wersje (1) ›| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 1.3.3Najnowsza | 1 KB | 64-bit ZIP |
Instalacja z wiersza poleceń
Cicha instalacja ›choco install idris -yscoop install main/idrisPliki programów (.exe): idris.exe
Powiązany poradnik: Winget – jak instalować i aktualizować programy
Informacje
- Kategoria
- IDE i edytory kodu
- Licencja
- BSD-3-Clause
- Cena
- Za darmo
- Kod źródłowy
- github.com
- Wymagania
- Windows 11 / 10
- Architektura
- 64-bit
- Instalator
- Wersja przenośna
- Wersja
- 1.3.3
- Wersje w katalogu
- 1
- Pobrania Chocolatey
- 2068
- Strona WWW
- idris-lang.org
- Pakiet Chocolatey
- idris
- Pakiet Scoop
- main/idris
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Alternatywy dla programu idris
Zobacz wszystkie ›-
Open source285,2 tys. ↓ -
Open source705,1 tys. ↓ -
Open source4,9 mln ↓ -
Open source88,8 tys. ↓ -
Open source49,7 tys. ↓ -
Open source136,7 tys. ↓ -
Open source394,5 tys. ↓ -
Open source94,6 tys. ↓
Najczęstsze pytania
Czy program idris jest darmowy?
Tak. idris to oprogramowanie open source na licencji BSD-3-Clause; można je pobrać i używać za darmo.
Czy pobieranie programu idris jest bezpieczne?
Plik jest pobierany z serwera neon.se; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.
Czy idris działa na procesorach ARM (Windows on Arm)?
Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.
Czy z programu idris można korzystać bez uprawnień administratora?
Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.
Jakie są alternatywy dla programu idris?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans i Haxe. Strona alternatyw zawiera ich porównanie.
