{"id":18953639,"url":"https://github.com/tomatosoup97/freak","last_synced_at":"2025-04-17T03:57:15.797Z","repository":{"id":82761537,"uuid":"217603801","full_name":"Tomatosoup97/freak","owner":"Tomatosoup97","description":"Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers","archived":false,"fork":false,"pushed_at":"2020-09-07T12:23:08.000Z","size":6768,"stargazers_count":8,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-29T05:51:17.993Z","etag":null,"topics":["algebra","algebraic-effects","haskell","languages","monads"],"latest_commit_sha":null,"homepage":"","language":"TeX","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/Tomatosoup97.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}},"created_at":"2019-10-25T19:42:20.000Z","updated_at":"2024-11-03T19:31:50.000Z","dependencies_parsed_at":"2023-11-04T05:01:37.276Z","dependency_job_id":null,"html_url":"https://github.com/Tomatosoup97/freak","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Tomatosoup97%2Ffreak","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Tomatosoup97%2Ffreak/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Tomatosoup97%2Ffreak/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Tomatosoup97%2Ffreak/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Tomatosoup97","download_url":"https://codeload.github.com/Tomatosoup97/freak/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":249184584,"owners_count":21226416,"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":["algebra","algebraic-effects","haskell","languages","monads"],"created_at":"2024-11-08T13:41:31.281Z","updated_at":"2025-04-16T02:32:39.796Z","avatar_url":"https://github.com/Tomatosoup97.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"Freak\n======\n\nExperimental functional programming language with (co)algebraic effects and\n(co)handlers, implemented by doing continuation passing style tranformation.\n\nCPS translation for algebraic effects in the language is based on existing\n[Links langauge](http://homepages.inf.ed.ac.uk/slindley/papers/handlers-cps.pdf),\nand coalgebraic part on [Runners in Action](https://arxiv.org/pdf/1910.11629.pdf).\n\nFor an introduction to algebraic effects, see resources in\n[effects-bibliography](https://github.com/yallop/effects-bibliography).\n\nThis language is implemented as a part of thesis, which can be found\n[here](./thesis/thesis.pdf). In that document you can find everything about\nsemantics of the language, implementation details, as well as solid mathematical\nfoundations.\n\n# Usage guide\nAll commands are available within src directory.\n\n## Build and install\n- Install dependencies: `make install`\n- Compile: `make build`\n- Link to PATH: `sudo make link`\n- Remove artiacts: `make clean`\n\nAfter compiling and linking program to PATH, one may evaluate program\nas follows: `freak \u003cpath-to-file\u003e`. To display all usage options, type `freak --help`.\nVariety of examples in Freak language can be found in [this](./src/programs) directory.\n\n## Running tests\n\nTest cases are available [here](./src/Tests.hs), they include both inline and file-based tests. For\nmore details about writing tests, one may refer to [HUnit documentation](https://hackage.haskell.org/package/HUnit).\n\n- Run tests: `make tests`\n- Run code linter: `make lint`\n- Compile, run linter and tests: `make check`\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftomatosoup97%2Ffreak","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftomatosoup97%2Ffreak","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftomatosoup97%2Ffreak/lists"}