lambda-terms topic

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Chymyst

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

mbuliga

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

ptarau