{"id":13772384,"url":"https://github.com/mchav/froid","last_synced_at":"2025-07-01T10:35:42.498Z","repository":{"id":93352580,"uuid":"76976655","full_name":"mchav/froid","owner":"mchav","description":"A library for using the Frege programming language in Android development.","archived":false,"fork":false,"pushed_at":"2018-04-27T00:27:07.000Z","size":40500,"stargazers_count":100,"open_issues_count":2,"forks_count":4,"subscribers_count":11,"default_branch":"master","last_synced_at":"2024-10-29T20:33:06.532Z","etag":null,"topics":["android","android-development","frege","frege-programming-language","functional-programming"],"latest_commit_sha":null,"homepage":null,"language":"Frege","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mchav.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,"governance":null,"roadmap":null,"authors":null}},"created_at":"2016-12-20T17:16:35.000Z","updated_at":"2024-08-05T01:37:39.000Z","dependencies_parsed_at":"2023-03-25T16:17:08.988Z","dependency_job_id":null,"html_url":"https://github.com/mchav/froid","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/mchav/froid","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mchav%2Ffroid","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mchav%2Ffroid/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mchav%2Ffroid/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mchav%2Ffroid/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mchav","download_url":"https://codeload.github.com/mchav/froid/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mchav%2Ffroid/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262944768,"owners_count":23388825,"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":["android","android-development","frege","frege-programming-language","functional-programming"],"created_at":"2024-08-03T17:01:03.337Z","updated_at":"2025-07-01T10:35:42.450Z","avatar_url":"https://github.com/mchav.png","language":"Frege","funding_links":[],"categories":["Libraries"],"sub_categories":["Android"],"readme":"# froid\n\n\u003cimg width=\"100\" height=\"100\" align=\"middle\" src=\"froid.png\"/\u003e\n\nA library for using the Frege programming language in Android development.\n\n## Usage and examples\n\nTo get/setup froid read the instructions on the [froid Wiki](https://github.com/mchav/froid/wiki). To write a simple application from scratch follow [this step-by-step tutorial](https://github.com/mchav/froid/wiki/Tutorial).\n\nSimple Activity\n---------------\n```frege\nmodule io.github.mchav.fregeandroid.FregeActivity where\n\nimport froid.app.Activity\nimport froid.content.Context\nimport froid.os.Bundle\nimport froid.widget.TextView\n\nnative module type Activity where {}\n\nonCreate :: Activity -\u003e Maybe Bundle -\u003e IO ()\nonCreate this bundle = do\n\ttv \u003c- TextView.new this\n\ttv.setText \"Hello, Android - Love, Frege\"\n\tthis.setContentView tv\n```\n\n## Example\n\nYou can find a more involved example [here](https://github.com/mchav/GeoQuiz-Frege). More will be available soon.\n\n\n## Building froid\n\nRun `compile` and then `package`.\n\n## Contributing\n\nA lot of what there is to do is create the bindings for the other types in `android`. For classes such as adapters/fragments read [this](http://mchav.github.io/functional-inheritance-in-android/) to learn about the design philosophy for subclassing.  Any PRs of this nature are welcome.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmchav%2Ffroid","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmchav%2Ffroid","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmchav%2Ffroid/lists"}