This is a collection of experiments with chemlambda artificial chemistry, interaction combinators and lambda calculus.
The goal is to explore the behaviour of these artificial chemistries under the most simple random algorithms, implemented by local machines, as examples of (Asemantic computing).
Contents
About chemlambda
Interactive experiments
Quine graphs in Chemlambda compared with Interaction Combinators.
Examples of complex behaviour typical for living creatures.
- Alife properties of directed interaction combinators vs. chemlambda
Extra: 16 animations which supplement arXiv:2005.06060
Local, playable version of arXiv:2005.06060.
- Interaction combinators and chemlambda quine graphs
First version of the previous, with no article attached.
- How to test a quine
Tools to find quine graphs and more examples.
- The quine lab
Molecules laboratory: input your own molecules.
Lambda calculus inspired computations can be done with local, random, graph rewrites.
- The Ouroboros
Study of the first quine discovered in chemlambda, inspired from the lambda calculus predecessor term. - Lambda calculus to chemlambda parser
Reduce untyped lambda calculus terms with chemlambda.
Simulations and animations.
- Chemlambda collection of animations, salvaged from G+
Same collection on Github, with smaller pictures
About 250 animations and simulations in javascript, with comments.
Earlier experiments.
- First chemlambda project site
First chemlambda demos, in awk.
Discussions and slides
- (discussions) issues at chemlambda-gui
- (slides) Artificial physics for artificial chemistries
- (slides) Emergent rewrites in knot theory and logic
Articles/computational notebooks
- (local, playable) - ChemSKI with tokens: world building and economy in the SKI universe (updated)
(local, playable) - Chemlambda for the people - (local, playable) arXiv:2005.06060 - Artificial life properties of directed interaction combinators vs. chemlambda
- Molecular computers which are based on graph rewriting systems like chemlambda, chemSKI or Interaction Combinators
(original run-in-the-browser article) (pitch talk) (challenge)
- (history of chemlambda), arXiv:2007.10288, (figshare pdf) - Graph rewrites, from emergent algebras to chemlambda
- (local, playable) - A kaleidoscope of graph rewrite systems in topology, metric geometry and computer science
- (local pdf) arXiv:2003.14332 Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators
- (project hapax) - Conservative graph rewriting systems with tokens
- (zss) - Zip, Slip, Smash: zipper logic revisited
- (draft/unreleased experiments) - AI senescence
- (working draft) - Pure See
Program repositories
- (?) molecular by chemlambda
- (?) zss by mbuliga
- (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
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.