chemart / combinator-chemistry

View on GitHub

Combinator chemistry — AlChemy without variable binding. Molecules are combinator expressions over B, C, I, K, R, S, W; a collision applies one to the other and reduces to normal form, releasing whatever falls off along the way. Dropping lambd…

chemistry official · built in rewriting fidelity: reconstructed constructive #banzhaf-yamamoto

files / README.md · 527 B · at e21d898ca495 Raw

Combinator chemistry

One of the artificial chemistries of Banzhaf & Yamamoto, Artificial Chemistries (MIT Press, 2015), §9.8; 7.3.1 (multiset products, organisations); 12.1 (variable population); first proposed by Speroni di Fenizio, 2000.

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/combinator-chemistry", seed=0)   # same as "combinator-chemistry"
print(net.summary())