An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: lambda-terms

Chymyst/curryhoward

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

Language: Scala - Size: 428 KB - Last synced at: 10 days ago - Pushed at: 2 months ago - Stars: 258 - Forks: 16

thma/lispkit

Implementing a small functional language with a combinator graph reduction engine

Language: Haskell - Size: 92.8 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 0

ptarau/TypesAndProofs

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

Language: Prolog - Size: 3.91 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 29 - Forks: 3

OganyanRV/Lambda-calculus-interpreter

Language: Jupyter Notebook - Size: 27.2 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

catseye/Lariat

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

Language: Haskell - Size: 54.7 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

mbuliga/quinegraphs

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

Language: JavaScript - Size: 11.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 2

tpreviero/lambda-calculus-evaluator

A suite to evaluate and operate on λ-calculus expressions

Language: Kotlin - Size: 12.7 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0