{"id":19563343,"url":"https://github.com/jpvillaisaza/abel","last_synced_at":"2025-04-27T00:32:10.784Z","repository":{"id":5505738,"uuid":"6705731","full_name":"jpvillaisaza/abel","owner":"jpvillaisaza","description":"Category theory applied to functional programming","archived":false,"fork":false,"pushed_at":"2016-08-30T20:22:22.000Z","size":82,"stargazers_count":7,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-04-04T18:51:57.944Z","etag":null,"topics":["agda","category-theory","haskell"],"latest_commit_sha":null,"homepage":"","language":"Agda","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/jpvillaisaza.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}},"created_at":"2012-11-15T14:16:20.000Z","updated_at":"2024-11-25T09:11:33.000Z","dependencies_parsed_at":"2022-09-04T01:11:47.440Z","dependency_job_id":null,"html_url":"https://github.com/jpvillaisaza/abel","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/jpvillaisaza%2Fabel","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jpvillaisaza%2Fabel/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jpvillaisaza%2Fabel/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jpvillaisaza%2Fabel/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jpvillaisaza","download_url":"https://codeload.github.com/jpvillaisaza/abel/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251072279,"owners_count":21532004,"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":["agda","category-theory","haskell"],"created_at":"2024-11-11T05:17:27.026Z","updated_at":"2025-04-27T00:32:10.517Z","avatar_url":"https://github.com/jpvillaisaza.png","language":"Agda","funding_links":[],"categories":[],"sub_categories":[],"readme":"Category Theory Applied to Functional Programming\n=================================================\n\nThis is the code for (Villa Isaza 2014), in which we study some of the\napplications of category theory to functional programming,\nparticularly in the context of the Haskell functional programming\nlanguage, and the Agda dependently typed functional programming\nlanguage and proof assistant.\n\nVilla Isaza, Juan Pedro (2014). Category Theory Applied to Functional\nProgramming. Undergraduate project. EAFIT. URL:\n[http://bit.ly/1cq5fwN](http://bit.ly/1cq5fwN).\n\nThe Haskell code was tested with GHC 7.6.3. Most of it corresponds to\nor is based on standard Haskell code, and can be used as it is. See\n`src/Cain.hs`.\n\nThe Agda code was tested with:\n\n- Agda 2.3.2.2 and the Agda standard library 0.7\n- Agda 2.5.1.1 and the Agda standard library 0.12\n\nSee `src/Abel.agda`.\n\nFor more information, send an email to\n[jvillai@eafit.edu.co](mailto:jvillai@eafit.edu.co).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjpvillaisaza%2Fabel","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjpvillaisaza%2Fabel","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjpvillaisaza%2Fabel/lists"}