Pinned Loading

1. quinegraphs quinegraphs Public

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

   JavaScript 23 4

2. chemski chemski Public

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

   JavaScript 21 2

3. zss zss Public

   Zip slip smash (zss) is Zipper logic revisited

   TeX 5

4. writings writings Public

   writings, by mbuliga or chorasimilarity

   5

5. hapax hapax Public

   Project hapax

   Awk 8

6. mbuliga.github.io mbuliga.github.io Public

   alternative homepage

   JavaScript