We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
Want to write a runtime data structure invariant check to find a bug, but can't stand the slowdown? Ditto will help. It automatically optimizes such checks so that they run 10x faster or more. PLDI 2007 paper http://www.cs.berkeley.edu/~aj/cs/ditto.pdf