https://github.com/mietek/charity-lang

Charity language interpreters and literature
https://github.com/mietek/charity-lang

Last synced: 2 months ago
JSON representation

Charity language interpreters and literature

• Host: GitHub
• URL: https://github.com/mietek/charity-lang
• Owner: mietek
• Created: 2015-04-05T07:12:37.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2019-02-15T11:58:22.000Z (almost 6 years ago)
• Last Synced: 2024-08-03T18:13:24.259Z (6 months ago)
• Language: C
• Homepage: http://pll.cpsc.ucalgary.ca/charity1/www
• Size: 16.2 MB
• Stars: 114
• Watchers: 12
• Forks: 7
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• AwesomeInterpreter - charity-lang

README

        
_charity-lang_

==============

Source code of two interpreters for the Charity language:

1. The original [C implementation](src/v1), by the [Charity Development Group](http://pll.cpsc.ucalgary.ca/charity1/www/home.html), dated 28 September 2000

2. An [SML implementation](src/v2), by Min Zeng, dated March 2003

Includes 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.

#### Additional work

* Gillian Posey’s [Circuits package](more/circuits), dated 13 March 1997

* Robin Cockett’s work on [model checking](doc/model-checking.md), including:

    - [HML checker](more/hml), dated 26 October 2000

    - [Modal Mu checker](more/mm), dated 22 November 2000

    - [Circuit checker](more/wires), dated 2 September 2001

### Literature

* R. Cockett (1991) [“Introduction to distributive categories”](doc/pdf/cockett-1991.pdf)

* T. Fukushima (1991) [“Charity user manual”](doc/pdf/fukushima-1991.pdf)

* R. Cockett, T. Fukushima (1992) [“About Charity”](doc/pdf/cockett-1992a.pdf)

* R. Cockett (1992) [“Distributive logic”](doc/pdf/cockett-1992b.pdf)

* R. Cockett, D. Spencer (1992) [“Strong categorical datatypes I”](doc/pdf/cockett-1992c.pdf)

* R. Cockett, D. Spencer (1992) [“Strong categorical datatypes II: A term logic for categorical programming”](doc/pdf/cockett-1992d.pdf)

* M. Hermann (1992) “A lazy graph reduction machine for Charity: Charity abstract reduction machine (CHARM)”

* T. Simpson, R. Cockett (1992) [“Sequentializing programs defined by pattern matching”](doc/pdf/simpson-1992.pdf)

* R. Cockett (1993) [“Examples of Charity term logic proofs”](doc/pdf/cockett-1993.pdf)

* M. Schroeder (1993) [“Charity grammar”](doc/pdf/schroeder-1993a.pdf)

* M. Schroeder (1993) [“CHIRP: A front end for Charity”](doc/pdf/schroeder-1993b.pdf)

* D. Spencer (1993) [“Categorical programming with functorial strength”](doc/pdf/spencer-1993.pdf)

* B. Yee (1993) [“The CHARM project: A back end to the Charity interpreter”](doc/pdf/yee-1993.pdf)

* C. Tuckey (1994) [“The implementation of pattern matching in Charity”](doc/pdf/tuckey-1994.pdf)

* B. Yee (1995) [“Implementing the Charity abstract machine”](doc/pdf/yee-1995.pdf)

* R. Cockett (1996) [“Charitable thoughts”](doc/pdf/cockett-1996.pdf)

* T. Fukushima, C. Tuckey (1996) [“Charity user manual”](doc/pdf/fukushima-1996.pdf) (final version)

* P. Vesely (1996) [“Categorical combinators for Charity”](doc/pdf/vesely-1996.pdf)

* M. Schroeder (1997) [“Higher-order Charity”](doc/pdf/schroeder-1997.pdf)

* C. Tuckey (1997) [“Pattern matching in Charity”](doc/pdf/tuckey-1997.pdf)

* P. Vesely (1997) [“Typechecking the Charity term logic”](doc/pdf/vesely-1997.pdf)

* M. Zeng (2003) [“An implementation of Charity”](doc/pdf/zeng-2003.pdf)

#### Additional literature

* R. Blute, R. Cockett, R. Seely, T. Trimble (1991) [“Natural deduction and coherence for weakly distributive categories”](doc/pdf/more/blute-1991.pdf)

* R. Cockett, D. Spooner (1994) [“SProc categorically”](doc/pdf/more/cockett-1994.pdf)

* R. Cockett, D. Spooner (1995) [“Categories for synchrony and asynchrony”](doc/pdf/more/cockett-1995.pdf)

* 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)

* R. Cockett, D. Spooner (1996) [“Constructing process categories”](doc/pdf/more/cockett-1996.pdf)

* R. Cockett, D. Spooner (1997) [“Constructing process categories”](doc/pdf/more/cockett-1997a.pdf) (final version)

* R. Cockett, R. Seely (1997) [“Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories”](doc/pdf/more/cockett-1997b.pdf)

* D. Spooner (1997) [“Building process categories”](doc/pdf/more/spooner-1997.pdf)

### Related work

* [_Total_ functional programming](https://github.com/mietek/total-fp)

* [_Totally_ functional programming](https://github.com/mietek/totally-fp)

* [ET language](https://github.com/mietek/et-lang)

About

-----

Packaged by [Miëtek Bak](https://mietek.io/).