GitHub topics: lambda-terms

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

Language: Prolog - Size: 4.17 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 33 - Forks: 4

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

Language: Scala - Size: 428 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 260 - Forks: 18

Implementing a small functional language with a combinator graph reduction engine

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

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

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

Language: Haskell - Size: 54.7 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

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: over 2 years ago - Pushed at: over 2 years ago - Stars: 14 - Forks: 2

A suite to evaluate and operate on λ-calculus expressions

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

Related Keywords

ecosyste.ms