{"id":19838966,"url":"https://github.com/objectionary/try-phi","last_synced_at":"2025-10-05T09:56:02.759Z","repository":{"id":46572367,"uuid":"386420319","full_name":"objectionary/try-phi","owner":"objectionary","description":"Online interactive parser and translator of EO and 𝜑-calculus","archived":false,"fork":false,"pushed_at":"2025-09-01T10:55:53.000Z","size":15447,"stargazers_count":14,"open_issues_count":16,"forks_count":4,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-09-01T12:45:42.897Z","etag":null,"topics":["elm","eolang"],"latest_commit_sha":null,"homepage":"https://www.objectionary.com/try-phi/?editor=phi\u0026snippet=%5B%0A%20%20a%20-%3E%203%2C%0A%20%20b%20-%3E%20%5E0.a%0A%5D.b","language":"Haskell","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/objectionary.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,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2021-07-15T20:50:27.000Z","updated_at":"2025-04-14T17:53:01.000Z","dependencies_parsed_at":"2023-11-11T03:24:49.897Z","dependency_job_id":"f0ba4119-e0e8-4b12-98d9-ad4ee273fd36","html_url":"https://github.com/objectionary/try-phi","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/objectionary/try-phi","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/objectionary%2Ftry-phi","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/objectionary%2Ftry-phi/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/objectionary%2Ftry-phi/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/objectionary%2Ftry-phi/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/objectionary","download_url":"https://codeload.github.com/objectionary/try-phi/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/objectionary%2Ftry-phi/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":278437949,"owners_count":25986760,"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","status":"online","status_checked_at":"2025-10-05T02:00:06.059Z","response_time":54,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["elm","eolang"],"created_at":"2024-11-12T12:19:46.068Z","updated_at":"2025-10-05T09:56:02.722Z","avatar_url":"https://github.com/objectionary.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Try-phi\n\n\u003cimg alt=\"logo\" src=\"https://www.objectionary.com/cactus.svg\" height=\"100px\" /\u003e\n\n[![Hits-of-Code](https://hitsofcode.com/github/objectionary/try-phi?branch=main)](https://hitsofcode.com/view/github/objectionary/try-phi?branch=main)\n![Lines of code](https://img.shields.io/tokei/lines/github/objectionary/try-phi?style=flat-square)\n\nThis is an experimental interpreter for a variant of [𝜑-calculus](https://arxiv.org/abs/2204.07454), the base language of [EO](https://github.com/objectionary/eo).\nWe implement it as a term rewriting system.\n\n## Usage\n\n- The online playground is available [here](https://www.objectionary.com/try-phi/?editor=phi\u0026snippet=%5B%0A%20%20a%20-%3E%203%2C%0A%20%20b%20-%3E%20%5E0.a%0A%5D.b)\n\n## Components\n\n- [Back end](./back#readme)\n- [Front end](./front#readme)\n- [EO editor](./eo-editor#readme)\n- [Phi editor](./phi-editor#readme)\n\n## Quick start\n\n1. [Install Nix](https://github.com/deemp/flakes/blob/main/README/InstallNix.md)\n\n1. Enter the repo.\n\n    ```sh\n    git clone https://github.com/objectionary/try-phi\n    cd try-phi\n    ```\n\n1. Run `back end` and `front end` in separate terminals.\n\n    ```console\n    nix run .#back\n    nix run .#front\n    ```\n\n## Development\n\n1. Allow `direnv` in flake folders.\n\n    ```sh\n    direnv allow\n    (cd front \u0026\u0026 direnv allow)\n    (cd back \u0026\u0026 direnv allow)\n    ```\n\n1. Start a deshell.\n\n    ```console\n    nix develop\n    ```\n\n1. (Optionally) Start `VSCodium`.\n\n    ```console\n    nix run .#writeSettings\n    nix run .#codium .\n    ```\n\n1. In a `.hs` file, hover over a function. `HLS` should start giving the type info soon.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fobjectionary%2Ftry-phi","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fobjectionary%2Ftry-phi","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fobjectionary%2Ftry-phi/lists"}