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.
1
Sales Letters Creator
17
Commercial
Sales Letters Creator offers a simpler way to write beautiful sales letters.
CD Media Solutions
5
Commercial
My MLM Letters is the #1 selling prospecting and team building letters.
5
Cakewalk Music Software
3,697
Commercial
It is a synthesizer capable of producing rhythmic basses, leads and pads.
Soleau Software, Inc.
13
Shareware
Gains extra points if your frog can reach special bonus pads.
49
Valeri Vlassov
1
Shareware
Shareware PADs submitter using a MS Access Database.
A0
39
Commercial
Virtual drum software with 24 drum pads and 4 mute groups.
