Hip-examples is a project mainly written in Scheme, it's free.

Examples of programs verified with HIP/SLEEK