9 skills found
chorasimilarity / Chemlambda GuiLife like molecular computers with artificial chemistry.
mbuliga / QuinegraphsLibrary of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
mbuliga / ChemskiPurely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
chemlambda / MolecularMolecular computers with interaction combinators like graph rewrite systems
synergistics / Chemlambda HaskA set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
mbuliga / HapaxProject hapax
4lhc / Chemlambda PyA python implementation for chemlabda-gui.
mbuliga / ZssZip slip smash (zss) is Zipper logic revisited
mbuliga / Writingswritings, by mbuliga or chorasimilarity
