{"id":18014679,"url":"https://github.com/dhil/generic-count","last_synced_at":"2025-07-31T11:07:03.228Z","repository":{"id":178328732,"uuid":"661604738","full_name":"dhil/generic-count","owner":"dhil","description":"implementing generic count using undelimited continuations, delimited continuations, and effect handlers","archived":false,"fork":false,"pushed_at":"2023-07-03T13:14:45.000Z","size":14,"stargazers_count":5,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-06-14T06:35:24.928Z","etag":null,"topics":["callcc","effect-handlers","generic-count","generic-search","shift-reset"],"latest_commit_sha":null,"homepage":"","language":"OCaml","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dhil.png","metadata":{"files":{"readme":"README.md","changelog":null,"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":"2023-07-03T08:43:41.000Z","updated_at":"2024-03-07T10:06:41.000Z","dependencies_parsed_at":null,"dependency_job_id":"a989c43b-7a07-42c0-9d83-0c615938a612","html_url":"https://github.com/dhil/generic-count","commit_stats":null,"previous_names":["dhil/generic-count"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dhil/generic-count","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Fgeneric-count","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Fgeneric-count/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Fgeneric-count/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Fgeneric-count/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dhil","download_url":"https://codeload.github.com/dhil/generic-count/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dhil%2Fgeneric-count/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":268026386,"owners_count":24183415,"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-07-31T02:00:08.723Z","response_time":66,"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":["callcc","effect-handlers","generic-count","generic-search","shift-reset"],"created_at":"2024-10-30T04:10:37.979Z","updated_at":"2025-07-31T11:07:03.202Z","avatar_url":"https://github.com/dhil.png","language":"OCaml","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Implementations of generic count with first-class control\n\nThis repository contains code associated with the following papers:\n\n* [Effects for Efficiency: Asymptotic Speedup with First-Class Control](https://dl.acm.org/doi/pdf/10.1145/3408982), published in ICFP 2020.\n* [Asymptotic Speedup with Effect Handlers](https://dhil.net/research/papers/asympeff-jfp2023-draft.pdf), under consideration for publication in JFP, 2023.\n\nNote that the code in this repository is not part of the companion\nartifact code published along side the papers. See the papers for\ndetails on their artifacts.\n\n\u003chr /\u003e\n\nThe code in this repository illustrates different implementations of\nthe generic count problem using delimited continuations (shift/reset),\nundelimited continuations (callcc) and state, and effect handlers.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdhil%2Fgeneric-count","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdhil%2Fgeneric-count","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdhil%2Fgeneric-count/lists"}