blc is an implementation of the binary lambda calculus.
The library is already usable, but it is still a work in progress.