A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus. - View it on GitHub