pkg.soopen package index

brew / rang 9574

Installer frege-repl avec Homebrew

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de frege-repl pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install frege-repl

local Homebrew formula metadata

aperçu

Résumé du paquet

REPL (read-eval-print loop) for Frege

Commandes et alias

  • frege-repl

historique

Historique du projet et usages

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

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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

posture de sécurité

Niveau de risque : yellow

generalized runtime or code generation signal.

Classificateur de risque

risque yellow · confiance moyen · runtime

Pourquoi

  • generalized runtime or code generation signal

Signaux

  • text:repl

Comportement d'installation

  • Aucune métadonnée de bottle Homebrew n’a été enregistrée.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
frege-replexécutableexécutable indexéDécouvert depuis l'index local des exécutables.

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-08-03
version du gestionnaire1.4-SNAPSHOT
gestionnaire mis à jour2026-06-22
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
  • OKAucun avertissement de fraîcheur n'a été généré.

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:frege-repl
Version1.4-SNAPSHOT
Gestionnaire de paquetsHomebrew
Page d'accueilhttps://github.com/Frege/frege-repl
Dépôthttps://github.com/Frege/frege-repl
Dernière mise à jour2026-06-22T14:03:22-07:00
Pulseupdated
Bouteillenon enregistré
Serviceaucun déclaré

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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