GitHub repository: piazzesiNiccolo/hofltex
Primary language: Prolog
Description: an HOFL interpreter