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

frege-repl のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:frege-repl
```

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

### macOS

- Homebrew (100%):

```sh
brew install frege-repl
```

  証拠: local Homebrew formula metadata

## パッケージ情報

- **パッケージキー:** brew:frege-repl
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/frege-repl>
- **バージョン:** 1.4-SNAPSHOT
- **ソース概要:** REPL (read-eval-print loop) for Frege
- **ホームページ:** <https://github.com/Frege/frege-repl>
- **リポジトリ:** <https://github.com/Frege/frege-repl>
- **ライセンス:** 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
- **生成日時:** 2026-08-04T22:13:35+00:00

## 実行可能ファイル

- frege-repl (cli)
- frege-repl (エイリアス)

## 依存関係

- openjdk@17

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 all

## バージョンと鮮度

- ページ生成日: 2026-08-04
- マネージャ版: 1.4-SNAPSHOT
- マネージャ更新日: 2026-06-22
- ローカルデータ: OK
- 上流リポジトリ: https://github.com/Frege/frege-repl
- 情報: No cached GitHub release or tag data was available.
## プロジェクトの歴史と使われ方

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.

### ソース

- <https://api.github.com/repos/Frege/frege-repl>
- <https://formulae.brew.sh/api/formula/frege-repl.json>
- <https://github.com/Frege/frege>
- <https://github.com/Frege/frege-repl>
- <https://raw.githubusercontent.com/Frege/frege-repl/master/README.md>
- <https://www.frege-lang.org/doc/fregedoc.html>


## セキュリティノート

generalized runtime or code generation signal.

- **Geiger リスク:** yellow / 中
- generalized runtime or code generation signal

## ソースデータベース詳細

- **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


## 関連リンク

- [Source-control packages](https://pkg.so/ja/source-control-tools/) - Belongs to a source-control command family.
- [Secret-risk packages](https://pkg.so/ja/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://pkg.so/ja/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Language runtime packages](https://pkg.so/ja/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [openjdk@17](https://pkg.so/ja/brew/openjdk-17/) - Runtime dependency declared by Homebrew.
- [ki](https://pkg.so/ja/brew/ki/) - Shares pkgdb curated category or tags: cli, jvm, language-runtime, repl.
- [ammonite-repl](https://pkg.so/ja/brew/ammonite-repl/) - Shares pkgdb curated category or tags: cli, language-runtime, repl.
- [psysh](https://pkg.so/ja/brew/psysh/) - Shares pkgdb curated category or tags: cli, language-runtime, repl.
- [planck](https://pkg.so/ja/brew/planck/) - Shares pkgdb curated category or tags: cli, language-runtime, repl.
- [clojure](https://pkg.so/ja/brew/clojure/) - Shares pkgdb curated category or tags: cli, jvm, language-runtime, repl.
- [flix](https://pkg.so/ja/brew/flix/) - Shares pkgdb curated category or tags: cli, functional-programming, jvm, language-runtime.
- [frege](https://pkg.so/ja/brew/frege/) - Shares pkgdb curated category or tags: cli, functional-programming, jvm, language-runtime.
- [kawa](https://pkg.so/ja/brew/kawa/) - Shares pkgdb curated category or tags: cli, jvm, language-runtime, repl.
- [hy](https://pkg.so/ja/brew/hy/) - Local package facts share a topical domain. Shared terms: cli, language, language-runtime, programming, repl.

## Combined YAML source

View the package source record on GitHub. [combined/frege-repl.yml](https://github.com/mxcl/pkgdb/blob/main/combined/frege-repl.yml)


## ソース

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- cross-ecosystem install command graph