•        0

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



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

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 ( for Windows Phone 8, using Silverlight.

Mandelbrot - A fractal WP7 experiment - for

A fractal WP7 experiment - for


A fractal WP7 experiment - for

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

Tag Cloud >>