33
Kemdi Attire uses ML for garment design, reducing errors and speeding up iterations.
1
Coq Development Team
107
Freeware
It provides a formal language to write mathematical definitions.
Laridian
6
Commercial
The Message has no formal language and no verse numbers in the Bible.
1
M.Franssen
6
Freeware
It is a tool for the formal static verification of programs.
Business Cards Designer
Shareware
Generate tags and formal cards.
4
MeeSoft
379
Freeware
The program can morph one picture to another or make funny effects with one picture.
2
TangoTools.com
134
Shareware
JpegSizer can resize picture without losses in picture quality.
67
Swordrain Studio, Inc.
20
Shareware
Ascii picture designer is a professional tool for creating ascii picture!
14
SoftOrbits
3,301
Shareware
Picture Doctor is intended to repair damaged picture files.
4
forusoftware.com
41
Shareware
IE Picture Downloader is an easy-to-use web picture download tool.
