lambda-terms

There are 7 repositories under lambda-terms topic.

Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Language:Scala259 15 616
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Language:Prolog33 0 14
mbuliga/quinegraphs
Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
Language:JavaScript22 2 03
thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language:Haskell6 3 1
OganyanRV/Lambda-calculus-interpreter
Language:Jupyter Notebook3 1 00
catseye/Lariat
MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms
Language:Haskell2 2 00
tpreviero/lambda-calculus-evaluator
A suite to evaluate and operate on λ-calculus expressions
Language:Kotlin2 0