chemart / alchemy

View on GitHub

AlChemy (lambda-calculus chemistry) — The chemistry that gave the field its vocabulary. Molecules are lambda-expressions in normal form, and a collision applies one to the other: s1 + s2 -> s1 + s2 + normal_form(s1 applied to s2). Both reactants survive, so …

chemistry official · built in rewriting fidelity: reconstructed constructive #banzhaf-yamamoto
2d81ee8a2e7f Start the Chemart Hub · chemart · on 2026-09-21
README.md 457 B 974aaee230 raw
chemart.yaml 13.8 KB d2a9093f7b raw
preview.json 278.5 KB 83281a43b8 raw