Hosting home-made software which is mathematically proven to be correct.We make use of tools like HOL, PVS, ...
Ratings and Reviews
Be the first to post a text review of alphalabs. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
flipo 0.2f file released: flipo-0.2f.tgz
Changelog included in package...
-
File released: /flipo/0.2f/flipo-0.2f.tgz
-
Code committed
-
Project Information Updated
registered the alphalabs project
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
flaim
FLAIM is an embeddable cross-platform database engine that provides a rich, powerful, easy-to-use feature set. It is the database engine used by Novell eDirectory and Novell GroupWise server. It has proven to be highly scalable, reliable, and robust.
-
alphalabs Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
