lambda-calculus topic
silly-k
silly-k is an experimental hobby language inspired by K and APL
lambda-8cc
x86 C compiler written in untyped lambda calculus
lambdalisp
A Lisp interpreter written in untyped lambda calculus
LambdaCalculusPlayground
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
system_f_omega
My Attempt at System Fω with Row-Polymorphism
meta-cedille
Minimalistic dependent type theory with syntactic metaprogramming
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
lambda
An interpreter of lambda calculus.
Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
aws-lambda-workshop
Some incremental examples suitable to host an AWS Lambda Functions workshop