-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
147 lines (118 loc) · 10.6 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
<!DOCTYPE html>
<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1">
<style>
a:active, a:link, a:visited {color: #336699; font-weight: bold; font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif; text-decoration: none; }
a:hover {color: rgb(255, 102, 0); font-weight: bold; font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif; text-decoration: underline; }
body { color: rgb(102, 102, 102)}
p { color: rgb(102, 102, 102); font-size: 16px; font-family: Verdana, Helvetica, Arial, Geneva, Swiss, SunSans-Regular, sans-serif }
td { color: #000; font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif; }
th { color: #000; font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif; text-align: center }
h1 { color: black; font-size: 1.3em; font-weight: bold; margin: 0; padding-top: 4px; padding-bottom: 4px; }
h2 { color: #222222; font-size: 1.2em; font-weight: bold; margin: 0; padding-top: 4px; padding-bottom: 4px }
div { color: black; font-size: 1.0em; color: #000; font-family: 'Lucida Grande', helvetica, arial, verdana, sans-serif; width: 90%;}
h3 { color: #555555; font-size: 1.2em; font-weight: bold; margin: 0; padding-top: 4px; padding-bottom: 4px; clear: both }
</style>
<title>Chemlambda page</title>
</head>
<body style="background-color: white; color: black; margin:5%; width: device-width;">
<h1>Chemlambda projects<br><br></h1>
<div><a href="http://imar.ro/~mbuliga/lambdalife.html">(locally hosted copy)</a><br><br></div>
<div>This is a collection of experiments with chemlambda artificial chemistries, interaction combinators and lambda calculus.<br><br></div>
<h2>Articles</h2>
<div>
<ul>
<li> <a href="https://mbuliga.github.io/quinegraphs/history-of-chemlambda.html">(github)</a> <a href="https://arxiv.org/abs/2007.10288">(arXiv:2007.10288)</a> <a href="https://doi.org/10.6084/m9.figshare.12646208.v2">(figshare)</a> History of chemlambda: Graph rewrites, from emergent algebras to chemlambda</li>
<li> <a href="https://mbuliga.github.io/quinegraphs/ic-vs-chem.html#icvschem">(github)</a> <a href="https://arxiv.org/abs/2005.06060">(arXiv:2005.06060)</a> Artificial life properties of directed interaction combinators vs. chemlambda</li>
<li> <a href="https://arxiv.org/abs/2003.14332">(arXiv:2003.14332)</a> Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators</li>
<li> <a href="https://github.com/chemlambda/molecular/blob/main/README.md">(github)</a> <a href="https://doi.org/10.5281/zenodo.7306917">(zenodo)</a> Molecular computers with interaction combinators like graph rewriting systems</li>
<li> <a href="https://github.com/mbuliga/zss/blob/master/zss.md">(github)</a> <a href="https://doi.org/10.6084/m9.figshare.14769666.v1">(figshare)</a> ZSS: Zipper logic revisited </li>
<li> <a href="https://mbuliga.github.io/chemski/chemski-with-tokens.html">(github)</a> <a href="https://arxiv.org/abs/2306.00938">(arXiv:2306.00938)</a> chemSKI with tokens: world building and economy in the SKI universe </li>
<li> <a href="https://mbuliga.github.io/chemski/chemski.html#SKInote">(github)</a> chemSKI & chemlambda, a chemlambda style purely local graph rewrite system for SKI combinator calculus.</li>
</ul>
<br><br>
</div>
<h2>Experiments pages</h2>
<div>
<ul>
<li> directed interaction combinators vs. chemlambda chemistries, associated with <a href="https://arxiv.org/abs/2005.06060">arXiv:2005.06060</a>:<br><br>
- <a href="https://mbuliga.github.io/quinegraphs/ic-vs-chem.html#icvschem">Alife properties of directed interaction combinators vs. chemlambda</a><br><br>
- extra: <a href="https://chorasimilarity.wordpress.com/2020/05/15/16-animations-which-supplement-arxiv2005-06060/">16 animations which supplement arXiv:2005.06060</a><br><br>
- explore chemlambda and IC quine graphs (first version, with no article attached):<br><br> <a href="https://mbuliga.github.io/quinegraphs/ice.html">Interaction combinators and chemlambda quine graphs</a><br><br>
- tools to find quine graphs and more examples: <br><br> <a href="https://mbuliga.github.io/quinegraphs/quinecheck.html">How to test a quine</a> <br><br>
- molecules laboratory: input your own molecules <br><br> <a href="https://mbuliga.github.io/quinegraphs/quinelab.html">The quine lab</a> <br><br></li>
<li> detailed explanation of the ouroboros quine, inspired from the lambda calculus predecessor term: <br><br> <a href="https://mbuliga.github.io/quinegraphs/ouroboros.html">The Ouroboros</a> <br><br></li>
<li> untyped lambda calculus terms can be reduced in chemlambda: <br><br> <a href="https://mbuliga.github.io/quinegraphs/lambda2mol.html">Lambda calculus to chemlambda parser</a> <br><br></li>
<li> more than 250 animations from simulations, with comments and the possibility to run them in js: <br><br> <a href="https://chemlambda.github.io/collection.html">Chemlambda collection of animations, salvaged from G+</a><br><br> <a href="http://imar.ro/~mbuliga/collection.html">Same collection with bigger pictures</a> <br><br></li>
</ul>
<br><br>
</div>
<h2>Talks, slides, video, discussions</h2>
<div>
<ul>
<li> (slides and video) <a href="https://mbuliga.github.io/novo/presentation.html">Emergent rewrites in knot theory and logic</a></li>
<li> (video) <a href="https://www.dropbox.com/sh/5c3xihm2mkdo5s5/AABDoNpc6K4XioJqesIy6vdma/MariusBuliga">Zipper logic revisited</a></li>
<li> (slides, general audience) <a href="https://chorasimilarity.github.io/chemlambda-gui/dynamic/cfp.html">Chemlambda for the people</a> </li>
<li> (slides) <a href="https://mbuliga.github.io/emergent-10-years/presentation.html"> A kaleidoscope of graph rewrite systems in topology, metric geometry and computer science</a> </li>
<li> (slides) <a href="https://mbuliga.github.io/genchem.html">Artificial physics for artificial chemistries</a> </li>
<li> (discussions) <a href="https://github.com/chorasimilarity/chemlambda-gui/issues?q=is%3Aissue+is%3Aclosed">browse the (closed now) issues at chemlambda-gui</a> </li>
</ul>
<br><br>
</div>
<h2>First articles from the initial chemlambda project</h2>
<br>
<div> Available <a href="http://chorasimilarity.github.io/chemlambda-gui/index.html">here</a>, from the repository <a href="https://github.com/chorasimilarity/chemlambda-gui/tree/gh-pages/dynamic">chemlambda-gui</a>:
<ul>
<li><a href="http://chorasimilarity.github.io/chemlambda-gui/dynamic/vision.html">Chemlambda vision: microbiome OS, autonomous computing molecules and biological digital converters</a></li>
<li><a href="http://chorasimilarity.github.io/chemlambda-gui/dynamic/molecular.html">Molecular computers</a> with pdf version on <a href="https://doi.org/10.6084/m9.figshare.7339103.v1">(figshare)</a> or <a href="https://arxiv.org/abs/1811.04960">arXiv:1811.04960 [cs.ET]</a></li>
<li><a href="https://doi.org/10.6084/m9.figshare.830457.v1">Chemical concrete machine (figshare)</a> or <a href="https://arxiv.org/abs/1309.6914">arXiv:1309.6914 [cs.FL]</a> </li>
<li><a href="https://doi.org/10.6084/m9.figshare.1032660.v1">Zipper logic (figshare)</a> or <a href="https://arxiv.org/abs/1405.6095">arXiv:1405.6095 [math.CO]</a> </li>
<li><a href=" https://doi.org/10.6084/m9.figshare.5751318.v1">Chemlambda strings (figshare)</a></li>
<li><a href="http://chorasimilarity.github.io/chemlambda-gui/dynamic/turingchem.html">Turing machines, chemlambda style</a></li>
</ul>
<br><br>
</div>
<h2>Program repositories, in reverse temporal order</h2>
<div>
<ul>
<li> (?) <a href="https://github.com/chemlambda/molecular">molecular</a> by <a href="https://github.com/chemlambda">chemlambda</a></li>
<li> (js) <a href="https://github.com/mbuliga/chemski">chemski</a> by <a href="https://github.com/mbuliga">mbuliga</a> </li>
<li> (js) <a href="https://github.com/mbuliga/quinegraphs">quine graphs</a> by <a href="https://github.com/mbuliga">mbuliga</a> </li>
<li> (js) <a href="https://github.com/chemlambda/chemlambda.github.io">chemlambda collection</a> by <a href="https://github.com/chemlambda">chemlambda</a></li>
<li> (js) <a href="https://github.com/ishanpm/chemlambda-editor">chemlambda-editor</a> by <a href="https://github.com/ishanpm">ishanpm</a></li>
<li> (js) <a href="https://github.com/mbuliga/hapax">project hapax</a> by <a href="https://github.com/mbuliga">mbuliga</a> </li>
<li> (haskell) <a href="https://github.com/synergistics/chemlambda-hask">chemlambda-hask</a> by <a href="https://github.com/synergistics">synergistics</a> </li>
<li> (python) <a href="https://github.com/4lhc/chemlambda-py">chemlambda-py</a> by <a href="https://github.com/4lhc">4lhc</a></li>
<li> (awk,js) <a href="https://github.com/chorasimilarity/chemlambda-gui/tree/gh-pages/dynamic">chemlambda-gui</a> by <a href="https://github.com/chorasimilarity">chorasimilarity</a></li>
</ul>
<br><br>
</div>
<h2>Working</h2>
<br>
<div> <a href="https://github.com/mbuliga/hapax">Project hapax</a>, 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:
<ul>
<li><a href="https://mbuliga.github.io/hapax/chemlambda-and-hapax.html">Chemlambda and hapax</a><br><br></li>
<li><a href="https://mbuliga.github.io/hapax/hapax-ack.html">Ackermann(2,2) with hapax</a> <br><br></li>
<li><a href="https://mbuliga.github.io/hapax/hapax-9quine.html">9-quine with hapax</a> <br><br></li>
</ul>
</div>
<div> <a href="https://mbuliga.github.io/quinegraphs/puresee.html">(working draft) Pure See</a>
<br><br><br><br>
</div>
<h2>How to ask questions?</h2>
<div>
<ul>
<li> open an issue at the <a href="https://github.com/mbuliga/quinegraphs">quinegraphs repository</a> </li>
<li> contact me after you look at my homepage <a href="https://mbuliga.github.io/">here</a> or <a href="http://imar.ro/~mbuliga/index.html">here</a></li>
<li> contact at <a href="https://t.me/xorasimilarity">telegram</a></li>
</ul>
<br><br>
</div>
<h2>Acknowledgements</h2>
<br>
<div>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.<br><br></div>
<div> Marius Buliga, 2020-2023. more <a href="https://mbuliga.github.io/">homepage 1</a> or <a href="http://imar.ro/~mbuliga/index.html">homepage 2</a>
</div>
</body>
</html>