{"id":13778810,"url":"https://github.com/mietek/charity-lang","last_synced_at":"2025-10-24T17:25:12.655Z","repository":{"id":29888031,"uuid":"33433472","full_name":"mietek/charity-lang","owner":"mietek","description":"Charity language interpreters and literature","archived":false,"fork":false,"pushed_at":"2019-02-15T11:58:22.000Z","size":16989,"stargazers_count":114,"open_issues_count":0,"forks_count":7,"subscribers_count":12,"default_branch":"master","last_synced_at":"2024-11-17T14:40:58.922Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://pll.cpsc.ucalgary.ca/charity1/www","language":"C","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/mietek.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":"2015-04-05T07:12:37.000Z","updated_at":"2024-05-02T11:57:31.000Z","dependencies_parsed_at":"2022-08-23T04:50:28.571Z","dependency_job_id":null,"html_url":"https://github.com/mietek/charity-lang","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/mietek%2Fcharity-lang","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mietek%2Fcharity-lang/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mietek%2Fcharity-lang/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mietek%2Fcharity-lang/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mietek","download_url":"https://codeload.github.com/mietek/charity-lang/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253566989,"owners_count":21928762,"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":[],"created_at":"2024-08-03T18:00:57.700Z","updated_at":"2025-10-24T17:25:07.601Z","avatar_url":"https://github.com/mietek.png","language":"C","funding_links":[],"categories":["C"],"sub_categories":[],"readme":"_charity-lang_\n==============\n\nSource code of two interpreters for the Charity language:\n\n1. The original [C implementation](src/v1), by the [Charity Development Group](http://pll.cpsc.ucalgary.ca/charity1/www/home.html), dated 28 September 2000\n\n2. An [SML implementation](src/v2), by Min Zeng, dated March 2003\n\nIncludes an [archival version of the Charity website](doc/README.md), all available [literature](doc/pdf), [example programs](doc/ch), and [binary releases](bin) of the original implementation.\n\n\n#### Additional work\n\n* Gillian Posey’s [Circuits package](more/circuits), dated 13 March 1997\n\n* Robin Cockett’s work on [model checking](doc/model-checking.md), including:\n    - [HML checker](more/hml), dated 26 October 2000\n    - [Modal Mu checker](more/mm), dated 22 November 2000\n    - [Circuit checker](more/wires), dated 2 September 2001\n\n\n### Literature\n\n* R. Cockett (1991) [“Introduction to distributive categories”](doc/pdf/cockett-1991.pdf)\n* T. Fukushima (1991) [“Charity user manual”](doc/pdf/fukushima-1991.pdf)\n* R. Cockett, T. Fukushima (1992) [“About Charity”](doc/pdf/cockett-1992a.pdf)\n* R. Cockett (1992) [“Distributive logic”](doc/pdf/cockett-1992b.pdf)\n* R. Cockett, D. Spencer (1992) [“Strong categorical datatypes I”](doc/pdf/cockett-1992c.pdf)\n* R. Cockett, D. Spencer (1992) [“Strong categorical datatypes II: A term logic for categorical programming”](doc/pdf/cockett-1992d.pdf)\n* M. Hermann (1992) “A lazy graph reduction machine for Charity: Charity abstract reduction machine (CHARM)”\n* T. Simpson, R. Cockett (1992) [“Sequentializing programs defined by pattern matching”](doc/pdf/simpson-1992.pdf)\n* R. Cockett (1993) [“Examples of Charity term logic proofs”](doc/pdf/cockett-1993.pdf)\n* M. Schroeder (1993) [“Charity grammar”](doc/pdf/schroeder-1993a.pdf)\n* M. Schroeder (1993) [“CHIRP: A front end for Charity”](doc/pdf/schroeder-1993b.pdf)\n* D. Spencer (1993) [“Categorical programming with functorial strength”](doc/pdf/spencer-1993.pdf)\n* B. Yee (1993) [“The CHARM project: A back end to the Charity interpreter”](doc/pdf/yee-1993.pdf)\n* C. Tuckey (1994) [“The implementation of pattern matching in Charity”](doc/pdf/tuckey-1994.pdf)\n* B. Yee (1995) [“Implementing the Charity abstract machine”](doc/pdf/yee-1995.pdf)\n* R. Cockett (1996) [“Charitable thoughts”](doc/pdf/cockett-1996.pdf)\n* T. Fukushima, C. Tuckey (1996) [“Charity user manual”](doc/pdf/fukushima-1996.pdf) (final version)\n* P. Vesely (1996) [“Categorical combinators for Charity”](doc/pdf/vesely-1996.pdf)\n* M. Schroeder (1997) [“Higher-order Charity”](doc/pdf/schroeder-1997.pdf)\n* C. Tuckey (1997) [“Pattern matching in Charity”](doc/pdf/tuckey-1997.pdf)\n* P. Vesely (1997) [“Typechecking the Charity term logic”](doc/pdf/vesely-1997.pdf)\n* M. Zeng (2003) [“An implementation of Charity”](doc/pdf/zeng-2003.pdf)\n\n\n#### Additional literature\n\n* R. Blute, R. Cockett, R. Seely, T. Trimble (1991) [“Natural deduction and coherence for weakly distributive categories”](doc/pdf/more/blute-1991.pdf)\n* R. Cockett, D. Spooner (1994) [“SProc categorically”](doc/pdf/more/cockett-1994.pdf)\n* R. Cockett, D. Spooner (1995) [“Categories for synchrony and asynchrony”](doc/pdf/more/cockett-1995.pdf)\n* R. Blute, R. Cockett, R. Seely, T. Trimble (1996) [“Natural deduction and coherence for weakly distributive categories”](doc/pdf/more/blute-1996.pdf) (final version)\n* R. Cockett, D. Spooner (1996) [“Constructing process categories”](doc/pdf/more/cockett-1996.pdf)\n* R. Cockett, D. Spooner (1997) [“Constructing process categories”](doc/pdf/more/cockett-1997a.pdf) (final version)\n* R. Cockett, R. Seely (1997) [“Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories”](doc/pdf/more/cockett-1997b.pdf)\n* D. Spooner (1997) [“Building process categories”](doc/pdf/more/spooner-1997.pdf)\n\n\n### Related work\n\n* [_Total_ functional programming](https://github.com/mietek/total-fp)\n* [_Totally_ functional programming](https://github.com/mietek/totally-fp)\n* [ET language](https://github.com/mietek/et-lang)\n\n\nAbout\n-----\n\nPackaged by [Miëtek Bak](https://mietek.io/).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmietek%2Fcharity-lang","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmietek%2Fcharity-lang","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmietek%2Fcharity-lang/lists"}