A tiny Lambda Calculus DSL

A Rust lambda calculus interpreter with a REPL, Hindley-Milner type inference, and span-aware error reporting.

A simple lambda calculus interpreter

exploration of the λ-calculus

Some type-level magic in some languages.

A lambda calculus redex reducer

An implementation of Forsp, a Forth/Lisp Hybrid Lambda Calculus Language

A dependent type checker for lambda calculus.

An implementation of the lambda calculus in Rust. It was inspired by https://lambdacalc.dev/ but does not use from their implementation.

A set of tooling (lexer, parser, ir compiler and backend compiler) to empower new functional languages

lambda, really

Simple REPL for untyped lambda calculus

simple SKI combinator calculus language written in rust

A simple implementation of the untyped lambda calculus

A Rust implementation of Lambda calculus

A small lambda calculator written in Rust

This is a lambda calculus solver/reducer I wrote to better understand what it is and how it works. I choose Rust as my language of choose because it is the one I feel the most comfortable programming in.

Implementation of the first-order typed lambda calculus as a CLI proof system.

Lambda interpreter written in Rust

Lambda Calculus Parser