{"id":25491462,"url":"https://github.com/frege/sbt-frege","last_synced_at":"2025-05-07T08:20:56.257Z","repository":{"id":35694794,"uuid":"39971757","full_name":"Frege/sbt-frege","owner":"Frege","description":"Frege support for sbt","archived":false,"fork":false,"pushed_at":"2025-03-22T22:58:11.000Z","size":160,"stargazers_count":53,"open_issues_count":1,"forks_count":7,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-03-31T08:06:20.660Z","etag":null,"topics":["frege","frege-repl","sbt","sbt-plugin"],"latest_commit_sha":null,"homepage":"","language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Frege.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2015-07-30T20:47:08.000Z","updated_at":"2025-03-22T22:58:13.000Z","dependencies_parsed_at":"2023-01-16T03:15:27.932Z","dependency_job_id":"c5f6020c-f7b0-42d4-8d10-2ef89cd89ecc","html_url":"https://github.com/Frege/sbt-frege","commit_stats":{"total_commits":145,"total_committers":7,"mean_commits":"20.714285714285715","dds":0.05517241379310345,"last_synced_commit":"5b19efc3a8d550b09e60b26f21e0ec9f68210cd4"},"previous_names":["frege/sbt-frege","earldouglas/sbt-frege"],"tags_count":16,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Fsbt-frege","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Fsbt-frege/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Fsbt-frege/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Frege%2Fsbt-frege/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Frege","download_url":"https://codeload.github.com/Frege/sbt-frege/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252839674,"owners_count":21812148,"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":["frege","frege-repl","sbt","sbt-plugin"],"created_at":"2025-02-18T22:02:34.000Z","updated_at":"2025-05-07T08:20:56.131Z","avatar_url":"https://github.com/Frege.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Build status](https://github.com/earldouglas/sbt-frege/workflows/build/badge.svg)](https://github.com/earldouglas/sbt-frege/actions)\n[![Latest version](https://img.shields.io/github/tag/earldouglas/sbt-frege.svg)](https://index.scala-lang.org/earldouglas/sbt-frege)\n\n## Features\n\n* Compile Frege code from your project's *src/main/frege/* directory\n* Call Frege code from your project's Java/Scala/etc. code\n* Launch the [Frege REPL][1] with your project's classes and libraries\n\n## Requirements\n\n* sbt 1.0.1+\n* Scala 2.4.0+\n\n*For sbt 0.13.6+ projects, use sbt-frege version 1.1.3*\n\n## Getting started from a template\n\n```\n$ sbt new earldouglas/sbt-frege.g8\nA project built with sbt-frege\n\nname [My Frege Project]: hello frege\n\nTemplate applied in ./hello-frege\n\n$ cd hello-frege/\n$ sbt\n\u003e test\nexample.HelloWorldSuite:\n  + multiply 0.008s\n  + showWork 0.016s\n[info] Passed: Total 2, Failed 0, Errors 0, Passed 2\n\u003e run\n[info] 6 * 7 = 42\n```\n\n## Getting started from scratch\n\nAdd the Frege sbt plugin to your project:\n\n*project/plugins.sbt:*\n\n```scala\naddSbtPlugin(\"com.earldouglas\" % \"sbt-frege\" % \"3.0.3\")\n```\n\nWrite some Frege code:\n\n*src/main/frege/example/HelloWorld.fr:*\n\n```frege\npackage example.HelloWorld where\n\nmain :: [String] -\u003e IO ()\nmain _ = println \"Hello, world!\"\n```\n\nBuild and run it:\n\n```\n$ sbt\n\u003e compile\n\u003e run\nHello, world!\n```\n\nTry it from the Frege REPL:\n\n```\n$ sbt\n\u003e fregeRepl\n\nfrege\u003e import example.HelloWorld (main)\n\nfrege\u003e main []\nHello, world!\n()\n```\n\n## Configuration\n\n### Frege compiler\n\n* `fregeOptions: Seq[String]` - Extra options for fregec\n* `fregeSource: File` - Frege source directory (default\n  *src/main/frege/*)\n* `fregeTarget: File` - Frege target directory (default *target/frege/*)\n* `fregeCompiler: String` - Full name of the Frege compiler (default\n  *frege.compiler.Main*)\n* `fregeLibrary: ModuleID` - Frege library (fregec.jar) to use (default\n  *Frege 3.23.288*)\n\n### Frege REPL\n\n* `fregeReplVersion: String` - The version of [frege-repl][1] to use\n  (default 1.3)\n* `fregeReplMainClass: String` - The Frege REPL main class (default\n  `frege.repl.FregeRepl`)\n\nThough sbt-frege uses 3.24.100.1 by default, Frege REPL 1.3 depends on\nFrege 3.23.288, so it takes priority when launching `fregeRepl`.\n\n[1]: https://github.com/Frege/frege-repl\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffrege%2Fsbt-frege","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffrege%2Fsbt-frege","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffrege%2Fsbt-frege/lists"}