GitHub repository: marvinborner/BLoCade
Primary language: C
Description: :mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]