GitHub repository: leissa/thorin
Description: The Higher-Order Intermediate Representation