A Dependently Typed Functional Programming Language
提供元による説明（英語）
idrisとは
idrisは、「IDE・コードエディター」に分類されるオープンソースのWindowsソフトです。
インストールと動作環境
提供元は64ビット版のポータブルインストーラーを配布しています。メインのインストーラーのサイズは1 KBです。インストールせずにそのまま実行できます（ポータブル版）。
人気と対応ファイル形式
Chocolateyパッケージのダウンロード数は2,068回です。似たソフトにはOpenCode、RStudio、Node.js (LTS)などがあります。
メリット / デメリット
メリット
- オープンソースで、誰でもコードを確認・ビルドできる
- ポータブル版でインストール不要
- ダウンロードサイズが小さい（1 KB）
デメリット
- ネイティブのARM64版がない
- 前回の確認で公式ダウンロードリンクが応答しなかった
まとめ: idrisは、「IDE・コードエディター」に分類されるオープンソースのWindowsソフトです。64ビットのPCで使えます。
idrisのダウンロードは安全ですか？
- ファイルはneon.seから配信されています。提供元の公式ミラーかどうかを確認してください
- ダウンロードリンクはHTTPSを使用しています
- SHA256ハッシュが公開されているため、ファイルを検証できます:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· このハッシュのVirusTotalレポートを開く - 前回の確認（2026年10月26日）でリンクは応答しませんでした
- ソースコードは公開されています
- ExeAtlasはインストーラーのホスト、ラップ、改変を行っていません
関連ガイド: SHA256ハッシュの確認方法（Windows）
最近のバージョン
全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は無料ですか？
はい。idrisはオープンソースのソフトです（BSD-3-Clauseライセンス）。
idrisのダウンロードは安全ですか？
ファイルはneon.seから配信されます。ExeAtlasはファイルをホストしておらず、改変もしていません。ダウンロードしたファイルのSHA256をこのページに記載の値と照合するか、そのハッシュのVirusTotalレポートを確認してください。
idrisはARM版Windows（Windows on Arm）で動きますか？
ARM64版はありません。Windows 11 on Armでは、エミュレーションによって64ビット版を実行できます。
idrisは管理者権限なしで使えますか？
はい。ポータブル版なので、展開してそのまま実行できます。
idrisの代わりになるソフトは？
OpenCode、RStudio、Node.js (LTS)、Apache NetBeans、Haxeなどがあります。代替ソフトのページで比較できます。
