lambda-calculus topic
lfvm-stg
Map lazy functional language constructs to LLVM IR
magnificATS
Collection of ATS goodness
lambda-scala
Type level lambda calculus in Scala
LambdaJS
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
LambdaCalculus-java
Lambda calculus implemented in Java
funQ
Functional Quantum Programming
Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
linlam
a library for experimental linear lambda calculus
lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
type-theory-compiler
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.