mbuliga
mathematician, from the very applied to the very abstract, can do anything (which is interesting, time provided).
Pinned Repositories
chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
em
The EM (emergent algebras) term rewrite system
hapax
Project hapax
mbuliga.github.io
alternative homepage
quinegraphs
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
writings
writings, by mbuliga or chorasimilarity
zss
Zip slip smash (zss) is Zipper logic revisited
mbuliga's Repositories
mbuliga/quinegraphs
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
mbuliga/chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
mbuliga/hapax
Project hapax
mbuliga/zss
Zip slip smash (zss) is Zipper logic revisited
mbuliga/writings
writings, by mbuliga or chorasimilarity
mbuliga/em
The EM (emergent algebras) term rewrite system
mbuliga/mbuliga.github.io
alternative homepage