Microsoft Research
13
Freeware
Z3 is a high-performance theorem prover being developed at Microsoft Research.
35
eyeon Software
668
Demo
Fusion is a full-featured, node-based compositing system.
1
Nova Development Corporation
57
Commercial
Sesame Street® First Steps includes 12 engaging activities for parent and child.
11
Trimble Navigation Limited
1,138
Freeware
Trimble's Planning software is a powerful stand-alone software.