{"id":19510084,"url":"https://github.com/frege/frege-repl","last_synced_at":"2025-02-25T22:45:39.427Z","repository":{"id":5439776,"uuid":"6632628","full_name":"Frege/frege-repl","owner":"Frege","description":"Frege REPL","archived":false,"fork":false,"pushed_at":"2019-02-22T21:12:12.000Z","size":20676,"stargazers_count":76,"open_issues_count":7,"forks_count":17,"subscribers_count":13,"default_branch":"master","last_synced_at":"2024-05-12T21:02:12.154Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Frege","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"drone-plugins/drone-azure-storage","license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Frege.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2012-11-10T21:39:12.000Z","updated_at":"2022-11-30T10:03:32.000Z","dependencies_parsed_at":"2022-09-15T02:02:59.251Z","dependency_job_id":null,"html_url":"https://github.com/Frege/frege-repl","commit_stats":null,"previous_names":[],"tags_count":14,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Ffrege-repl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Ffrege-repl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Ffrege-repl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Ffrege-repl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Frege","download_url":"https://codeload.github.com/Frege/frege-repl/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240761122,"owners_count":19853255,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-10T23:14:30.291Z","updated_at":"2025-02-25T22:45:39.338Z","avatar_url":"https://github.com/Frege.png","language":"Frege","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Frege REPL [![Build Status](https://travis-ci.org/Frege/frege-repl.svg)](https://travis-ci.org/Frege/frege-repl)\n\nThis is the command line REPL for Frege. Frege code snippets can be entered on the prompt to get them evaluated.\nIn addition to Frege code, the following commands are supported:\n\n\u003ctable\u003e\n\u003ctr\u003e\n\u003cth\u003eCommand\u003c/th\u003e\n\u003cth\u003eDescription\u003c/th\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:type \u0026lt;expression\u0026gt;\u003c/td\u003e\n\u003ctd\u003eDisplay the type of an expression\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:browse \u0026lt;moduleName\u0026gt;\u003c/td\u003e\n\u003ctd\u003eDisplay the names in a module if a module name is provided otherwise display the names in the default REPL module\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:java\u003c/td\u003e\n\u003ctd\u003eView Java translation of last compiled Frege source\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:load \u0026lt;url or file\u0026gt;\u003c/td\u003e\n\u003ctd\u003eLoad Frege code snippets from an URL or file\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:r\u003c/td\u003e\n\u003ctd\u003eReload the last script URL or file\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:set prompt promptString\u003c/td\u003e\n\u003ctd\u003eSet prompt to `promptString`\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:set multiline-prompt promptString\u003c/td\u003e\n\u003ctd\u003eSet prompt for multi-line mode.\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:set show-limit \u003climit\u003e\u003c/td\u003e\n\u003ctd\u003eSet number of characters to show in the output string (Default: 80).\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:set compilerOption\u003c/td\u003e\n\u003ctd\u003eSet compiler options such as 'hints', 'nowarn', 'inline', 'O', 'comments', 'ascii', 'greek', 'fraktur', 'latin'.\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:unset compilerOption\u003c/td\u003e\n\u003ctd\u003eUnset compiler option.\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:{\u003c/td\u003e\n\u003ctd\u003eStart multiline definitions\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:}\u003c/td\u003e\n\u003ctd\u003eEnd multiline definitions\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:history\u003c/td\u003e\n\u003ctd\u003eDisplay the source history for definitions in the default REPL module\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:reset\u003c/td\u003e\n\u003ctd\u003eReset the REPL discarding all the evaluated scripts\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:version\u003c/td\u003e\n\u003ctd\u003eDisplay Frege version\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:help \u0026lt;name\u0026gt;\u003c/td\u003e\n\u003ctd\u003eDisplay the documentation for the given name. If the name is not provided, display this help message\u003c/td\u003e\n\u003c/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e:q or :quit\u003c/td\u003e\n\u003ctd\u003eQuit REPL\u003c/td\u003e\n\u003c/tr\u003e\n\u003c/table\u003e\n\n## How to run? ##\n1. Download Frege REPL archive from [releases](https://github.com/Frege/frege-repl/releases).\n1. Extract the archive\n1. Run the following command: (JDK 8 or above required. Note that JDK is required, not just JRE as Frege is compiled to Java which is then compiled to byte code using the Java compiler available in the JDK)\n\n          $ frege-repl-\u003cversion\u003e/bin/frege-repl\n     \n     or if you want to customize JVM parameters:\n     `java -cp \"frege-repl-\u003cversion\u003e/lib/*\" frege.repl.FregeRepl`\n\nAs of late, the REPL is included in [frege releases](https://github.com/Frege/frege/releases). \n   \n   \n## Build from sources ##\n\n1. ```~/workspace$ git clone https://github.com/Frege/frege-repl.git```\n1. ```~/workspace/frege-repl$ ./gradlew install```\n1. To run, ```~/workspace/frege-repl$ ./gradlew --no-daemon --console plain :frege-repl-core:run```.\n   \n## Continuous Integration\n\n[Travis](https://travis-ci.org/Frege/frege-repl/)\n\n[Sonatype](https://oss.sonatype.org/content/groups/public/org/frege-lang/)\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffrege%2Ffrege-repl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffrege%2Ffrege-repl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffrege%2Ffrege-repl/lists"}