9 projects
skijack
A supercombinator surface language over the SKI calculus, compiling to closed {S,K,I} terms
pinochle
Python implementation of the Nock 4K Combinator Calculus.
nockmark
Annotated code fragments (boxes, notes, arrows) for Sphinx and MyST, with a matching LaTeX package
nockasm
A thin macro expander from Nock Assembly to canonical Nock 4K, with a Jupyter kernel
aviary-kernel
A Jupyter kernel for combinatory-logic (combinator calculus) evaluation.
nock-kernel
Jupyter kernel for interactive Nock evaluation.
gallowglass-kernel
Jupyter kernel for the Gallowglass programming language (PLAN target).
plan-kernel
Jupyter kernel for interactive PLAN evaluation.
marduk-plan
Python implementation of the PLAN instruction set.
