A Dependently Typed Functional Programming Language
제공사 설명 (영어)
idris 소개
이 프로그램은 IDE 및 코드 편집기 카테고리에 속하는 오픈 소스 Windows 소프트웨어입니다.
설치 및 시스템 요구 사항
제공사는 64비트 Windows용 포터블 설치 파일을 배포합니다. 기본 설치 파일의 크기는 1 KB입니다. 설치하지 않고 바로 실행할 수 있습니다(포터블).
인기도 및 지원 파일 형식
Chocolatey 패키지 다운로드 수는 2,068회입니다. 비슷한 프로그램으로는 OpenCode, RStudio, Node.js (LTS) 등이 있습니다.
장점 / 단점
장점
- 오픈 소스: 누구나 코드를 확인하고 빌드할 수 있음
- 포터블: 설치 없이 실행
- 작은 다운로드 용량(1 KB)
단점
- 네이티브 ARM64 버전 없음
- 마지막 확인 때 공식 다운로드 링크가 응답하지 않음
요약: idris 프로그램은 64비트 PC에서 쓸 수 있는 오픈 소스 IDE 및 코드 편집기 도구입니다.
idris 다운로드는 안전한가요?
- 파일은 neon.se에서 제공됩니다. 제공사의 공식 미러인지 확인하십시오
- 다운로드 링크는 HTTPS를 사용합니다
- SHA256 해시가 공개되어 있어 파일을 검증할 수 있습니다:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· 이 해시의 VirusTotal 보고서 열기 - 마지막 확인(2026년 10월 26일) 때 링크가 응답하지 않았습니다
- 소스 코드가 공개되어 있습니다
- ExeAtlas는 설치 파일을 호스팅하거나 감싸거나 변경하지 않습니다
관련 가이드: Windows에서 SHA256 해시 확인하는 법
최근 버전
전체 1개 버전 ›명령줄로 설치
무인 설치 ›choco install idris -yscoop install main/idris프로그램 파일(.exe): idris.exe
관련 가이드: winget 사용법: 프로그램 설치와 업데이트
정보
- 카테고리
- IDE 및 코드 편집기
- 라이선스
- BSD-3-Clause
- 가격
- 무료
- 소스 코드
- github.com
- 요구 사항
- Windows 11 / 10
- 아키텍처
- 64비트
- 설치 파일
- 포터블
- 버전
- 1.3.3
- 등록된 버전
- 1
- Chocolatey 다운로드
- 2,068
- 공식 웹사이트
- idris-lang.org
- Chocolatey 패키지
- idris
- Scoop 패키지
- main/idris
평점 및 리뷰
아직 리뷰가 없습니다. 처음으로 평가해 보십시오.
idris 대체 프로그램
전체 보기 ›-
오픈 소스28.5만 ↓ -
오픈 소스70.5만 ↓ -
오픈 소스493.2만 ↓ -
오픈 소스8.9만 ↓ -
오픈 소스5만 ↓ -
오픈 소스13.7만 ↓ -
오픈 소스39.4만 ↓ -
오픈 소스9.5만 ↓
자주 묻는 질문
idris 무료인가요?
네. 이 프로그램은 오픈 소스 소프트웨어입니다(BSD-3-Clause 라이선스).
idris 다운로드는 안전한가요?
파일은 neon.se에서 내려받습니다. ExeAtlas는 파일을 호스팅하거나 변경하지 않습니다. 다운로드한 파일의 SHA256 해시를 이 페이지의 값과 비교하거나, 해당 해시의 VirusTotal 보고서를 확인하십시오.
idris ARM(Windows on Arm)에서 실행되나요?
ARM64 버전은 없습니다. Windows 11 on Arm에서는 에뮬레이션으로 64비트 버전을 실행할 수 있습니다.
idris 관리자 권한 없이 사용할 수 있나요?
네. 포터블 버전이라 압축을 풀고 바로 실행하면 됩니다.
idris 대체 프로그램은?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans, Haxe 등이 있습니다. 대체 프로그램 페이지에서 비교해 볼 수 있습니다.
