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

Liens du projet

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.

Sources

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

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 1 plateformes.
S’installe avec 1 dépendances d’exécution.

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

Commande	Type	Exposition	Note
`frege-repl`	cli	exécutable global

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-07-25

version du gestionnaire1.4-SNAPSHOT

gestionnaire mis à jour2026-06-22

données localesOK

amontnot checked

dernière version détectéenon détecté

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

infoNo cached GitHub release or tag data was available.https://github.com/Frege/frege-replconfiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:frege-repl
Version	1.4-SNAPSHOT
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/frege-repl
Page d'accueil	https://github.com/Frege/frege-repl
Dépôt	https://github.com/Frege/frege-repl
Docs amont	https://github.com/Frege/frege#readme
Licence	BSD-3-Clause
Archive source	https://github.com/Frege/frege-repl/releases/download/1.4-SNAPSHOT/frege-repl-1.4-SNAPSHOT.zip
Dernière mise à jour	2026-06-22T14:03:22-07:00
Pulse	updated
Dépendances	openjdk@17
Bouteille	disponible (sur all)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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

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.

Combined YAML source

View the package source record on GitHub.

combined/frege-repl.yml

Sources utilisées

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

Installer frege-repl avec Homebrew