mbuliga

mbuliga's repositories

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

Language:JavaScript18 20

Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.

Language:JavaScript14 30

Project hapax

Language:AwkGPL-3.06 10

Zip slip smash (zss) is Zipper logic revisited

Language:TeX5 10

writings, by mbuliga or chorasimilarity

The EM (emergent algebras) term rewrite system

Language:TeX010

alternative homepage

Language:JavaScript000