Automic VaultAutomic Vault

brew

frege-repl mit Homebrew installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für frege-repl in AI-Agent-Workflows.

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install frege-repl

local Homebrew formula metadata

Überblick

Paketzusammenfassung

REPL (read-eval-print loop) for Frege

Befehle und Aliase

  • frege-repl

Verlauf

Projektgeschichte und Nutzung

Frege REPL is the command-line read-eval-print loop for Frege, a Haskell-like purely functional language for the JVM.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

  • 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.

Sicherheitslage

Risikostufe: yellow

generalized runtime or code generation signal.

Risikoklassifikator

yellow Risiko · mittel Konfidenz · runtime

Warum

  • generalized runtime or code generation signal

Signale

  • text:repl

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 1 Plattformziele verfügbar.
  • Installiert mit 1 Laufzeitabhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
frege-replcliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-25
Manager-Version1.4-SNAPSHOT
Manager aktualisiert2026-06-22
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt

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

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:frege-repl
Version1.4-SNAPSHOT
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/frege-repl
Homepagehttps://github.com/Frege/frege-repl
Repositoryhttps://github.com/Frege/frege-repl
Upstream-Dokumentationhttps://github.com/Frege/frege#readme
LizenzBSD-3-Clause
Quellarchivhttps://github.com/Frege/frege-repl/releases/download/1.4-SNAPSHOT/frege-repl-1.4-SNAPSHOT.zip
Zuletzt aktualisiert2026-06-22T14:03:22-07:00
Pulseupdated
Abhängigkeitenopenjdk@17
Bottleverfügbar (auf all)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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