FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

lambda-terms · GitHub Topics · GitHub

Explore Topics Trending Collections Events GitHub Sponsors
#

lambda-terms

Star

Here are 7 public repositories matching this topic...

Language: All
Filter by language
All 7 Haskell 2 JavaScript 1 Jupyter Notebook 1 Kotlin 1 Prolog 1 Scala 1

Chymyst / curryhoward

Star 262

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 May 25, 2025
  • Scala

ptarau / TypesAndProofs

Star 34

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 Feb 2, 2026
  • Prolog

mbuliga / quinegraphs

Star 23

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 29, 2023
  • JavaScript

thma / lispkit

Star 7

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 Jun 18, 2026
  • Haskell

catseye / Lariat

Star 4

MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms

lambda-terms abstract-data-type name-binding abstract-name-binding
  • Updated Nov 9, 2023
  • Haskell

OganyanRV / Lambda-calculus-interpreter

Star 3
lambda-calculus reduction beta-reduction reduction-strategies lambda-terms de-bruijn-notation normal-forms lambda-calculus-interpreter
  • Updated Aug 13, 2022
  • Jupyter Notebook

tpreviero / lambda-calculus-evaluator

Star 0

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."

Learn more

Back | FazBrowse Home | New Git URL