Quinegraphs
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
Install / Use
/learn @mbuliga/QuinegraphsREADME
Quine graphs
Given a graph rewrite system. a graph G is a quine graph if it has a non-void maximal non-conflicting collection of rewrite patterns, such that after the rewrites from the collection are done in parallel we obtain a graph isomorphic with G.
We invite you to explore some of their properties, with examples taken from lambda calculus, interaction combinators and chemlambda.
Part of:
Technical notes:
-
Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators
-
Artificial life properties of directed interaction combinators vs. chemlambda
Demos
See also
More here
-
Graphs figth arena (will turn into a tool to explore communities of quines): https://mbuliga.github.io/quinegraphs/arena.html
-
Lambda terms reduced with chemlambda: https://mbuliga.github.io/quinegraphs/lambda.html
Related Skills
docs-writer
99.3k`docs-writer` skill instructions As an expert technical writer and editor for the Gemini CLI project, you produce accurate, clear, and consistent documentation. When asked to write, edit, or revie
model-usage
339.3kUse CodexBar CLI local cost usage to summarize per-model usage for Codex or Claude, including the current (most recent) model or a full model breakdown. Trigger when asked for model-level usage/cost data from codexbar, or when you need a scriptable per-model summary from codexbar cost JSON.
Design
Campus Second-Hand Trading Platform \- General Design Document (v5.0 \- React Architecture \- Complete Final Version)1\. System Overall Design 1.1. Project Overview This project aims t
ddd
Guía de Principios DDD para el Proyecto > 📚 Documento Complementario : Este documento define los principios y reglas de DDD. Para ver templates de código, ejemplos detallados y guías paso
