Projects in Awesome Lists tagged with lambda-terms
A curated list of projects in awesome lists tagged with lambda-terms .
https://github.com/Chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
automated-theorem-provers code-generation curry-howard-isomorphism functional-programming intuitionistic-logic lambda-calculus lambda-terms scala scala-macros theorem-prover
Last synced: 22 Apr 2025
https://github.com/chymyst/curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
automated-theorem-provers code-generation curry-howard-isomorphism functional-programming intuitionistic-logic lambda-calculus lambda-terms scala scala-macros theorem-prover
Last synced: 10 Apr 2025
https://github.com/thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
combinator-graphs combinatory-logic eval functional-language graph-reduction lambda-calculus lambda-terms lispkit parallel-reduction repl ski-combinators
Last synced: 26 Mar 2025
https://github.com/catseye/lariat
MIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms
abstract-data-type abstract-name-binding lambda-terms name-binding
Last synced: 05 Mar 2025
