lambda-php
Lambda interpreter
An interpreter for a minimal programming language inspired by the lambda calculus
Lambda calculus interpreter in PHP.
23 stars
3 watching
1 forks
Language: PHP
last commit: over 10 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| igorw/galapagos | An evolutionary language transformation system written in PHP. | 72 |
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 igorkulman/swiftpascalinterpreter | An interpreter for the Pascal programming language written in Swift | 284 |
 mroman42/mikrokosmos | An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts | 70 |
 ser1zw/mil | An interpreter and VM implementation for a lightweight programming language with basic data types and control structures. | 2 |
 lpcic/elpi | An embeddable interpreter for a variant of Prolog enriched with Constraint Handling Rules | 292 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |
 hmngwy/mutton | A library providing reusable and configurable AWS Lambda handlers for Python | 16 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
 ianh/owl | A parser generator tool for visibly pushdown languages | 748 |
 trevorjay/atinybasic | A minimal BASIC interpreter for microcontrollers | 25 |
 terenceng03/mueval | A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. | 76 |
 pi8027/lambda-calculus | A formalization of typed and untyped lambda calculus in Coq and Agda2, aiming to provide a rigorous foundation for understanding the properties of these systems. | 78 |
 smarie/python-mini-lambda | A Python library that generates and compiles minimal lambda functions for simple expressions. | 14 |
 odddollar/leafscript | A lightweight programming language designed to be simple and efficient. | 28 |