Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
3
Nuhertz Technologies, LLC
110
Freeware
It is limited to 3rd Order Analog designs or to 10 tap FIR designs.
2
Janome
184
Commercial
Allows the creation of embroidery designs by modifying existing designs.
1
ArCADiasoft
78
Shareware
Create 2D designs, 3D designs, and documentation for buildings.
4
TKexe
246
Freeware
create printable calendar pages from personal photos/designs.
2
Dave Toome
32
Freeware
An X3 calculator that helps to plan and cost factory complex designs.
8
Serif, Inc.
358
Freeware
With 3DPlus2 we can create 3D designs without a lot of training.
2
Avanquest Software
285
Shareware
MyMailList & AddressBook creates/organizes mail lists, designs mail and emails.
