Tensorflow Implementation of Interaction Networks for Learning about Obj...
Tensorflow Implementation of Visual Interaction Networks
An implementation of the Formality language in JavaScript
Macro Lambda Calculus
Temporary repository for Kind2's refactor based on HVM2