Contract Programming Library for C++
**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net
The mistletoe parser library.
Ranges0x is a simple library written in C++0x trying to replace iterators by ranges inspired by the suggestion of Andrei Alexandrescu.