Lambda is an interactive Lambda calculus interpreter. It reduces lambda expressions and converts them into the S, K, and I combinators (ext). It has the ability to associate names with lambda expressions (def), load definitions from a file (load), and list current definitions (list). Lambda expressions representing integers are automatically defined as needed. Many interesting combinators are provided in a definition file. Various settings are provided to influence the way reduction and extraction are performed (set). A short manual is provided showing how lambda works.
libQGLViewer is a C++ library based on Qt that eases the creation of OpenGL 3D viewers. It provides some of the typical 3D viewer functionality, such as the ability to move the camera using the mouse, which is lacking in most of the other APIs. Other features include mouse manipulated frames, interpolated keyFrames, object selection, stereo display, screenshot saving, and much more. It can be used by OpenGL beginners as well as to create complex applications, being fully customizable and easy to extend. It ships with many examples and comprehensive documentation.