The Journal of Solid-State Computing
SU2025: Vol. 2, No. 1
An Implementation of Nock Combinator Logic in Hardware: The NockPU Project 
~ lagrev-nocfep
~ sorreg-namtyv
Conk: The Permutation Group of Nocks; Ax: An Algebraic Executable Ur-Machine
