beta-reduction
There are 15 repositories under beta-reduction topic.
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
gurbaaz27/typeless
an interpreter for λ-calculus implemented in ruby
TelegramOfficial/TelegramBeta
Telegram β Apk
flandrade/lambda-calculus-haskell
The λ-calculus in Haskell
null93/lambda
An untyped lambda calculus interpreter written in Scala
OganyanRV/Beta-reduction
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
Rafael-Dev-21/lambda
Uma calculadora lambda simples
theRealProHacker/lambda
A lambda calculus evaluator in both Haskell and Python
tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
Meet-forever/lambda-calculus-interpreter
🧮 Lambda Calc Interpreter: Bridge theory & practice. Apply beta reductions to simplify expressions. Python-based, interactive shell. Simplify complex computations with ease. Unlock the power of lambda expressions interactively.
shij-hsu/basic
一个简单的lambda演算解释器
James-P-D/Lambda
A simple Lambda expression interpreter in Java
jyoo980/haskell-fp
A repository exploring pure functional programming with Haskell