chemart / kappa-calculus

View on GitHub

Kappa calculus — How to describe a chemistry you could never enumerate. Agents are proteins with named sites; a site can hold an internal state and a bond to another site, and a rule rewrites a *partial* pattern - bind these two sites, p…

chemistry official · built in rewriting fidelity: reconstructed constructive #banzhaf-yamamoto
files / README.md · 516 B · at 5e3eadb7a5ce Raw

Kappa calculus

One of the artificial chemistries of Banzhaf & Yamamoto, Artificial Chemistries (MIT Press, 2015), §9.7; first proposed by Danos & Laneve, 2004; the Kappa language: Danos, Feret, Fontana, Harmer, Krivine et al., 2007 onwards.

Its generator ships with the chemart library, so loading it runs no code from the hub and needs no trust_remote_code.

import chemart

net = chemart.generate_network("chemart/kappa-calculus", seed=0)   # same as "kappa-calculus"
print(net.summary())