RSS 1 project tagged "Testing"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.51
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Screenshot

Project Spotlight

GlusterFS

A poly-protocol, unified distributed filesystem.

Screenshot

Project Spotlight

Catharsis.NET.Web.Widgets

An ASP.NET MVC tag library with social media widgets.