A Scheme / Lisp based operating system for the Raspberry Pi single board computer. Also (hopefully) provides a BSD-licensed implementation of drivers for the Pis hardware.
It used to live on
https://gitorious.org/lambdapi#more, but as of 2016-02-16, it yields 404 - No projects found
Fortunately, it has been moved to github.