2 repositories on SrcLog
x86 C compiler written in untyped lambda calculus
A Lisp interpreter written in untyped lambda calculus