Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Contains realisations of common-used math functions and classical algorithms, written in Scala's pure-functional style.
Type-level lambda calculus in Scala 3
A place for me to learn/ experiment with interpreters/compilers
Checking Dependent Types with Normalization by Evaluation
An implementation of church encoding with Scala.
Lambda interpreter built in Scala. Supports AST View, CbN, CbV and Free Variables calculations. Fully functional-oriented implementation.
fava: Functional Programming Language on Scala
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
Simple Combinatory Logic and Lambda Calculus in Scala
A type inference system based on simply typed lambda-calculus with let-polymorphism and imperative traits.
Lambda calculus parser and evaluator implementation based on "Types and programming languages" by Benjamin Pierce in Scala
Lambda Calculus Parser and Interpreter
Interpreter for the untyped lambda calculus
Formal foundations for GADTs in Scala
Proof of concept interpreter for the untyped lambda calculus, implemented within the Scala type system.
Development and implement of untyped lambda calculus
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."