インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%

brew install frege-repl

local Homebrew formula metadata

概要

パッケージ概要

REPL (read-eval-print loop) for Frege

プロジェクトリンク

コマンドとエイリアス

frege-repl

履歴

プロジェクトの歴史と使われ方

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.

タイムライン

2012: frege-repl GitHub repository created.
2015-2017: Frege README reports JavaOne Emerging Languages Bowl wins for Frege.
2019: frege-repl repository last pushed according to GitHub metadata.
2026: Homebrew formula reports stable version 1.4-SNAPSHOT with openjdk@17 dependency.

Related projects

Related official Frege projects include the Frege compiler, standard library, online REPL, FregeFX REPL, Eclipse plugin, VS Code plugin, and documentation tool.

ソース

セキュリティ状態

リスクレベル: yellow

generalized runtime or code generation signal.

リスク分類器

リスク yellow · 信頼度中 · runtime

理由

generalized runtime or code generation signal

信号

text:repl

インストール挙動

formula メタデータに Homebrew post-install フックは記録されていません。
Homebrew bottle メタデータは 1 個のプラットフォームターゲットで利用できます。
1 件の実行時依存関係とともにインストールされます。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲	メモ
`frege-repl`	cli	グローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-25

マネージャ版1.4-SNAPSHOT

マネージャ更新日2026-06-22

ローカルデータOK

上流not checked

検出された最新未検出

https://github.com/Frege/frege-repl

情報No cached GitHub release or tag data was available.https://github.com/Frege/frege-repl信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:frege-repl
バージョン	1.4-SNAPSHOT
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/frege-repl
ホームページ	https://github.com/Frege/frege-repl
リポジトリ	https://github.com/Frege/frege-repl
上流ドキュメント	https://github.com/Frege/frege#readme
ライセンス	BSD-3-Clause
ソースアーカイブ	https://github.com/Frege/frege-repl/releases/download/1.4-SNAPSHOT/frege-repl-1.4-SNAPSHOT.zip
最終更新	2026-06-22T14:03:22-07:00
Pulse	updated
依存関係	openjdk@17
Bottle	利用可能 (対象 all)
Homebrew post-install	未定義
サービス	宣言なし

レジストリ情報

ソースデータベース詳細

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	frege-repl
Version Scheme	0
Revision	2
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	yes
Disabled	no
Keg Only	no
URL Keys	stable

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

Combined YAML source

View the package source record on GitHub.

combined/frege-repl.yml

使用ソース

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
curated package history
package relationship graph
package version freshness
package-page enrichment

frege-repl を Homebrew でインストール