lambdacalculus

There are 4 repositories under lambdacalculus topic.

  • minchingtonak/lambster

    Lambda calculus interpreter written in TypeScript

    Language:TypeScript26130

  • hediturki123/LambdaCalculus

    Simply typed and advanced structures in lambda calculus

    Language:Coq3101

  • satyajitghana/LambdaCalculus

    A repository that contains codes to various Lambda Calculus stuff i did when learning LambdaCalculus, mostly contains JavaScript and Python Code i believe

    Language:Jupyter Notebook3201

  • Scooter1337/Rust-LC

    Lambda Calculus (parser, interpreter, type checker) written in Rust, and therefore 🔥Blazingly™🔥fast.

    Language:Rust10