1 project tagged "Lambda calculus"

Download Website Updated 01 Sep 2013 libmx

Screenshot
Pop 43.58
Vit 1.44

libmx provides a framework for dealing with (extended and optionally typed) lambda calculus expressions. Among other features, it provides a template instantiation machine for evaluating the value of a lambda calculus expression, a template instantiation machine for evaluating the Hindley-Milner type of an lambda calculus expression, and reference counter-based memory management for lambda calculus expressions and types.

Screenshot

Project Spotlight

termsql

A tool that converts text into an SQL table and queries it.

Screenshot

Project Spotlight

greed

A strategy game.