Chemlambda projects
This is a collection of experiments with chemlambda artificial chemistries, interaction combinators and lambda calculus.
Articles
- (github) (arXiv:2007.10288) (figshare) History of chemlambda: Graph rewrites, from emergent algebras to chemlambda
- (github) (arXiv:2005.06060) Artificial life properties of directed interaction combinators vs. chemlambda
- (arXiv:2003.14332) Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators
- (github) (zenodo) Molecular computers with interaction combinators like graph rewriting systems
- (github) (figshare) ZSS: Zipper logic revisited
- (github) (arXiv:2306.00938) chemSKI with tokens: world building and economy in the SKI universe
- (github) chemSKI & chemlambda, a chemlambda style purely local graph rewrite system for SKI combinator calculus.
Experiments pages
- directed interaction combinators vs. chemlambda chemistries, associated with arXiv:2005.06060:
- Alife properties of directed interaction combinators vs. chemlambda
- extra: 16 animations which supplement arXiv:2005.06060
- explore chemlambda and IC quine graphs (first version, with no article attached):
Interaction combinators and chemlambda quine graphs
- tools to find quine graphs and more examples:
- molecules laboratory: input your own molecules
- detailed explanation of the ouroboros quine, inspired from the lambda calculus predecessor term:
- untyped lambda calculus terms can be reduced in chemlambda:
- more than 250 animations from simulations, with comments and the possibility to run them in js:
Talks, slides, video, discussions
- (slides and video) Emergent rewrites in knot theory and logic
- (video) Zipper logic revisited
- (slides, general audience) Chemlambda for the people
- (slides) A kaleidoscope of graph rewrite systems in topology, metric geometry and computer science
- (slides) Artificial physics for artificial chemistries
- (discussions) browse the (closed now) issues at chemlambda-gui
First articles from the initial chemlambda project
Program repositories, in reverse temporal order
- (?) molecular by chemlambda
- (js) chemski by mbuliga
- (js) quine graphs by mbuliga
- (js) chemlambda collection by chemlambda
- (js) chemlambda-editor by ishanpm
- (js) project hapax by mbuliga
- (haskell) chemlambda-hask by synergistics
- (python) chemlambda-py by 4lhc
- (awk,js) chemlambda-gui by chorasimilarity
Working
How to ask questions?
- open an issue at the quinegraphs repository
- contact me after you look at my homepage here or here
- contact at telegram
Acknowledgements
Special thanks to the other authors of chemlambda repositories listed here. Their work greatly enhanced this project and also validated it. The discussions, see those listed here or in the issues of the other repositories, helped very much to clarify the subject.