beta-reduction

There are 0 repository under beta-reduction topic.

ljedrz / lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
lambda-calculus rust-library church-encoding rust lambda-expressions lambda-functions lambda-interpreter beta-reduction ski-combinators reduction-strategies combinatory-logic debruijn parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding
Language:Rust 106
ptarau / TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
all-binary-trees-generator all-set-partitions-gnerator beta-reduction boltzmann-sampler curry-howard-isomorphism de-bruijn-notation intuitionistic-logic knuth-s-algorithm-r lambda-terms normal-forms prolog random-binary-tree random-set-partition remy-s-algorithm tautology-checking theorem-prover type-inference
Language:Prolog 31
gurbaaz27 / typeless
an interpreter for λ-calculus implemented in ruby
beta-reduction compiler interpreter lambda-calculus lexer-parser ll1-grammar ll1-parser parser ruby abstract-syntax-tree
Language:Ruby 17
TelegramOfficial / TelegramBeta
Telegram β Apk
beta beta-reduction beta-release beta-testing telegram telegrambeta
6
flandrade / lambda-calculus-haskell
The λ-calculus in Haskell
beta-reduction church-encoding church-numerals haskell lambda-calculus
Language:Haskell 4
null93 / lambda
An untyped lambda calculus interpreter written in Scala
interpreter symbol-table ast lambda scala lexer parser untyped calculus beta-reduction
Language:Scala 3
OganyanRV / Beta-reduction
Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.
lambda lambda-calculus lambda-calculus-interpreter beta-reduction shift substitution de-bruijn-notation
Language:C++ 3
OganyanRV / Lambda-calculus-interpreter
beta-reduction de-bruijn-notation lambda-calculus lambda-calculus-interpreter lambda-terms normal-forms reduction reduction-strategies
Language:Jupyter Notebook 3
Rafael-Dev-21 / lambda
Uma calculadora lambda simples
parser beta-reduction lambda-calculus lexer
Language:C++ 2
theRealProHacker / lambda
A lambda calculus evaluator in both Haskell and Python
beta-reduction haskell lambda-calculus functional-programming python3
Language:Haskell 2
tom-weatherhead / facility
A Lambda Calculus interpreter implemented in C.
c interpreter lambda-calculus de-bruijn-notation graph-reduction beta-reduction church-numerals y-combinator
Language:C 1
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.
lambda-calculus beta-reduction functional-programming python3
Language:Python 0
shij-hsu / basic
一个简单的lambda演算解释器
lambda-calculus interpreter beta-reduction
Language:C 0
James-P-D / Lambda
A simple Lambda expression interpreter in Java
java console console-application lambda-expressions lambda-calculus beta-reduction functional-programming repl
Language:Java
jyoo980 / haskell-fp
A repository exploring pure functional programming with Haskell
functional-programming haskell pure lambda-calculus beta-reduction lambda-abstractions eta-conversion
Language:Haskell