Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 09 Nov 2024
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: 02 Jan 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: 29 Oct 2024
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: 15 Nov 2024
