# Install frege-repl with Homebrew REPL (read-eval-print loop) for Frege. Version 1.4-SNAPSHOT via Homebrew; verified 2026-06-22. ## Install ```sh sudo av install brew:frege-repl ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install frege-repl ``` Evidence: local Homebrew formula metadata ## Package facts - **Package key:** brew:frege-repl - **Package manager:** Homebrew - **Package manager page:** - **Version:** 1.4-SNAPSHOT - **Source summary:** REPL (read-eval-print loop) for Frege - **Homepage:** - **Repository:** - **License:** BSD-3-Clause - **Source archive:** - **Last updated:** 2026-06-22T14:03:22-07:00 - **Generated:** 2026-08-04T22:13:35+00:00 ## Executables - frege-repl (cli) - frege-repl (alias) ## Dependencies - openjdk@17 ## Install behavior - Post-install hook: not defined - Bottle: available on all ## Freshness - Page generated: 2026-08-04 - Package-manager version: 1.4-SNAPSHOT - Package-manager updated: 2026-06-22 - Local data: ok - Upstream repository: https://github.com/Frege/frege-repl - info: No cached GitHub release or tag data was available. ## Project history and usage Frege REPL is the command-line read-eval-print loop for Frege, a Haskell-like purely functional language for the JVM. ### Project history 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. ### Adoption history 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. ### How it is used 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. ### Why package nerds care 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. ### Timeline - 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. ### Sources - - - - - - ## Security Notes generalized runtime or code generation signal. - **Geiger risk:** yellow / medium - generalized runtime or code generation signal ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** frege-repl - **Version Scheme:** 0 - **Revision:** 2 - **Bottle Stable Root URL:** - **Deprecated:** yes - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Related links - [Source-control packages](https://pkg.so/source-control-tools/) - Belongs to a source-control command family. - [Secret-risk packages](https://pkg.so/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://pkg.so/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Language runtime packages](https://pkg.so/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [openjdk@17](https://pkg.so/brew/openjdk-17/) - Runtime dependency declared by Homebrew. - [ki](https://pkg.so/brew/ki/) - Shares pkgdb curated category or tags: cli, jvm, language-runtime, repl. - [ammonite-repl](https://pkg.so/brew/ammonite-repl/) - Shares pkgdb curated category or tags: cli, language-runtime, repl. - [psysh](https://pkg.so/brew/psysh/) - Shares pkgdb curated category or tags: cli, language-runtime, repl. - [planck](https://pkg.so/brew/planck/) - Shares pkgdb curated category or tags: cli, language-runtime, repl. - [clojure](https://pkg.so/brew/clojure/) - Shares pkgdb curated category or tags: cli, jvm, language-runtime, repl. - [flix](https://pkg.so/brew/flix/) - Shares pkgdb curated category or tags: cli, functional-programming, jvm, language-runtime. - [frege](https://pkg.so/brew/frege/) - Shares pkgdb curated category or tags: cli, functional-programming, jvm, language-runtime. - [kawa](https://pkg.so/brew/kawa/) - Shares pkgdb curated category or tags: cli, jvm, language-runtime, repl. - [hy](https://pkg.so/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) ## Sources - 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