{"id":22258080,"url":"https://github.com/coot/free-algebras","last_synced_at":"2025-07-28T07:32:06.855Z","repository":{"id":53768802,"uuid":"141016732","full_name":"coot/free-algebras","owner":"coot","description":"Free Algebras in Haskell","archived":false,"fork":false,"pushed_at":"2023-06-04T10:59:48.000Z","size":338,"stargazers_count":32,"open_issues_count":2,"forks_count":1,"subscribers_count":5,"default_branch":"master","last_synced_at":"2024-04-26T16:46:00.719Z","etag":null,"topics":["algebra","free","haskell-library","math"],"latest_commit_sha":null,"homepage":"https://hackage.haskell.org/package/free-algebras","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mpl-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/coot.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","contributing":null,"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":"2018-07-15T10:05:44.000Z","updated_at":"2023-08-13T22:31:35.000Z","dependencies_parsed_at":"2024-08-29T14:18:33.639Z","dependency_job_id":null,"html_url":"https://github.com/coot/free-algebras","commit_stats":{"total_commits":235,"total_committers":4,"mean_commits":58.75,"dds":0.06808510638297871,"last_synced_commit":"d033616ddf65ef796f908d2d1295dea78df3f7bc"},"previous_names":[],"tags_count":15,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coot%2Ffree-algebras","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coot%2Ffree-algebras/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coot%2Ffree-algebras/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coot%2Ffree-algebras/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/coot","download_url":"https://codeload.github.com/coot/free-algebras/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":227877782,"owners_count":17833559,"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","free","haskell-library","math"],"created_at":"2024-12-03T08:13:25.078Z","updated_at":"2024-12-03T08:13:25.621Z","avatar_url":"https://github.com/coot.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Free Algebras\n[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg?style=for-the-badge)](http://github.com/coot)\n[![Haskell CI](https://img.shields.io/github/actions/workflow/status/coot/free-algebras/ci.yaml?branch=master\u0026label=Build\u0026style=for-the-badge)](https://github.com/coot/free-algebras/actions/workflows/ci.yaml)\n\nUniversal algebra approach (which is compatible with categorical approach) to\nfree algebras (including higher order structures like functors, applicative\nfunctors or monads).  Mathematical introduction alongside with some of the\nHaskell ideas is desribed in a [blog](https://coot.me/posts/free-monads.html)\npost.\n\nExamples:\n---------\n\n* [TCP as a free monad](https://github.com/coot/free-algebras/blob/master/examples/src/Network/TCP.hs)\n* [free categories](https://coot.me/posts/kleisli-categories-and-free-monads.html)\n* [free categories with monadic effects](https://coot.me/posts/categories-with-monadic-effects.html)\n* [free category package](https://hackage.haskell.org/package/free-category)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoot%2Ffree-algebras","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcoot%2Ffree-algebras","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcoot%2Ffree-algebras/lists"}