Chemlambda projects

This is a collection of experiments with chemlambda artificial chemistries, interaction combinators and lambda calculus.

• (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.

• 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:
  
  How to test a quine
  
  - molecules laboratory: input your own molecules
  
  The quine lab
  
  
• detailed explanation of the ouroboros quine, inspired from the lambda calculus predecessor term:
  
  The Ouroboros
  
  
• untyped lambda calculus terms can be reduced in chemlambda:
  
  Lambda calculus to chemlambda parser
  
  
• more than 250 animations from simulations, with comments and the possibility to run them in js:
  
  Chemlambda collection of animations, salvaged from G+
  
  Same collection with bigger pictures
  
  

• (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

Available here, from the repository chemlambda-gui:

• Chemlambda vision: microbiome OS, autonomous computing molecules and biological digital converters
• Molecular computers with pdf version on (figshare) or arXiv:1811.04960 [cs.ET]
• Chemical concrete machine (figshare) or arXiv:1309.6914 [cs.FL]
• Zipper logic (figshare) or arXiv:1405.6095 [math.CO]
• Chemlambda strings (figshare)
• Turing machines, chemlambda style

• (?) 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

Project hapax, aka "made of money": a remake of chemlambda (and arbitrarily many other graph rewrite systems) as a conservative graph rewrite system, with the help of tokens and permutation based automata. Articles and demos:

• Chemlambda and hapax
  
  
• Ackermann(2,2) with hapax
  
  
• 9-quine with hapax
  
  

(working draft) Pure See

• open an issue at the quinegraphs repository
• contact me after you look at my homepage here or here
• contact at telegram

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.

Marius Buliga, 2020-2023. more homepage 1 or homepage 2