alphalabs

  •        0

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

http://alphalabs.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Alphalabs - Node Garden


"Source" code for the 2012 Alphalabs "Node Garden" project.

Node Paint


An app based on the nodegarden application created by alphalabs.cc

Echo Garden


Echo Garden is a modification of Alphalabs' Windows Phone app, Node Garden, that represents the nodes through sound.

Note Garden


Note Garden is my extension to NodeGarden (http://alphalabs.codeplex.com) for Windows Phone 8, using Silverlight.

Mandelbrot - A fractal WP7 experiment - for alphalabs.cc


A fractal WP7 experiment - for alphalabs.cc

slodge-Mandelbrot


A fractal WP7 experiment - for alphalabs.cc







Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.

Tag Cloud >>