macOS
brew install frege-repllocal Homebrew formula metadata
brew / 順位 9574
frege-repl のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install frege-repllocal Homebrew formula metadata
概要
REPL (read-eval-print loop) for Frege
履歴
Frege REPL is the command-line read-eval-print loop for Frege, a Haskell-like purely functional language for the JVM.
The frege-repl repository was created in 2012 under the Frege organization. Its README documents interactive Frege evaluation, REPL commands, Gradle-based source builds, and the requirement for a JDK because Frege compiles through Java.
The README says the REPL can be downloaded from frege-repl releases and, later, is included in Frege releases. Homebrew packages frege-repl separately and declares openjdk@17 as a dependency.
Users run frege-repl to evaluate snippets and use commands such as :type, :browse, :java, :load, :history, :reset, :version, :help, and :quit. The broader Frege README positions Frege as Haskell for the JVM with Java interoperability.
For package-manager users, frege-repl is the interactive front door to a JVM language toolchain: it packages a language REPL plus JDK dependency rather than a standalone text utility, making dependency metadata and language-runtime classification important.
セキュリティ状態
generalized runtime or code generation signal.
リスク yellow · 信頼度 中 · runtime
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
frege-repl | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
インストールメタデータ
| パッケージキー | brew:frege-repl |
|---|---|
| バージョン | 1.4-SNAPSHOT |
| パッケージマネージャ | Homebrew |
| ホームページ | https://github.com/Frege/frege-repl |
| リポジトリ | https://github.com/Frege/frege-repl |
| 最終更新 | 2026-06-22T14:03:22-07:00 |
| Pulse | updated |
| Bottle | 未記録 |
| サービス | 宣言なし |
ソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.