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
