pkg.soopen package index

brew / rank 9564

Install frege-repl with Homebrew

REPL (read-eval-print loop) for Frege. Version 1.4-SNAPSHOT via Homebrew; verified 2026-06-22.

Install commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install frege-repl

local Homebrew formula metadata

overview

Package summary

REPL (read-eval-print loop) for Frege

Commands and aliases

  • frege-repl

history

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.

security posture

Risk level: yellow

generalized runtime or code generation signal.

Risk classifier

yellow risk · medium confidence · runtime

Why

  • generalized runtime or code generation signal

Signals

  • text:repl

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 1 platform targets.
  • Installs with 1 runtime dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
frege-replcliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-04
manager version1.4-SNAPSHOT
manager updated2026-06-22
local dataok
upstreamnot checked
latest detectednot detected

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

install metadata

Package metadata

Package keybrew:frege-repl
Version1.4-SNAPSHOT
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/frege-repl
Homepagehttps://github.com/Frege/frege-repl
Repositoryhttps://github.com/Frege/frege-repl
LicenseBSD-3-Clause
Source archivehttps://github.com/Frege/frege-repl/releases/download/1.4-SNAPSHOT/frege-repl-1.4-SNAPSHOT.zip
Last updated2026-06-22T14:03:22-07:00
Pulseupdated
Dependenciesopenjdk@17
Bottleavailable (on all)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Namefrege-repl
Version Scheme0
Revision2
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedyes
Disabledno
Keg Onlyno
URL Keys
  • stable

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • openjdk@17Runtime dependency declared by Homebrew.

Same workflow

  • kiShares pkgdb curated category or tags: cli, jvm, language-runtime, repl.
  • ammonite-replShares pkgdb curated category or tags: cli, language-runtime, repl.
  • psyshShares pkgdb curated category or tags: cli, language-runtime, repl.
  • planckShares pkgdb curated category or tags: cli, language-runtime, repl.
  • clojureShares pkgdb curated category or tags: cli, jvm, language-runtime, repl.
  • flixShares pkgdb curated category or tags: cli, functional-programming, jvm, language-runtime.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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