GitHub repository: JakubSchwenkbeck/Effekt-Lambda
Primary language: Nix
Description: Effekt-Lambda is a λ-calculus interpreter written in the Effekt-Lang