#

lambda-terms

Here are 7 public repositories matching this topic...

Chymyst / curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

scala functional-programming lambda-calculus scala-macros code-generation automated-theorem-provers theorem-prover intuitionistic-logic curry-howard-isomorphism lambda-terms

Updated Nov 6, 2021
Scala

ptarau / TypesAndProofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

prolog type-inference theorem-prover beta-reduction intuitionistic-logic curry-howard-isomorphism lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms

Updated Apr 11, 2022
Prolog

mbuliga / quinegraphs

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

simulation lambda-calculus quine artificial-life rewrites graph-rewriting-library lambda-terms artificial-chemistry chemlambda quine-graph interaction-combinators

Updated Mar 16, 2021
JavaScript

thma / lispkit

Implementing a small functional language with a combinator graph reduction engine

repl lambda-calculus combinatory-logic functional-language eval ski-combinators graph-reduction lispkit lambda-terms parallel-reduction combinator-graphs

Updated Mar 7, 2022
Haskell

catseye / Lariat

An abstract data type for lambda terms

lambda-terms abstract-data-type name-binding abstract-name-binding

Updated Oct 7, 2022
Haskell

OganyanRV / Lambda-calculus-interpreter

lambda-calculus reduction beta-reduction reduction-strategies lambda-terms de-bruijn-notation normal-forms lambda-calculus-interpreter

Updated Aug 13, 2022
Jupyter Notebook

eltomato / lambda-calculus-evaluator

A suite to evaluate and operate on λ-calculus expressions

kotlin lambda lambda-calculus evaluator lambda-calculus-evaluator lambda-terms lambda-expression

Updated Dec 30, 2020
Kotlin

Improve this page

Add a description, image, and links to the lambda-terms topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the lambda-terms topic, visit your repo's landing page and select "manage topics."