A statically-typed strictly-evaluated garbage-collected readable programming language.

lambda calculus interpreter

An inference engine for extensional untyped λ-calculus

The Higher-Order Intermediate Representation

Minimal Functional Language based on lambda calculus

A cpp lib

A small parser for the lambda calculus in C++ using Bazel, Ragel, and Bison

A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。

A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus).

Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.

Lambda calculus interpreter

Counts the number of closed lambda terms with a given length.

A variant of the Functional Machine Calculus with first-class locations

<λ++> type-level lambda calculus for C++ meta-programming

Uma calculadora lambda simples

Straight forward implementation of the lambda calculus in C++

A parser for the untyped lambda-calculus

An interpreter for lambda calculus.

Lambda Calculus Interpreter

Doing homework for fun, from a class I don't attend, because I like compilers