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
AIV Software
88
Freeware
AIV Reminder is program which can be used to set a reminder.
42
CyberMatrix Corporation, Inc.
20
Shareware
CyberMatrix Reminder is a freeware event scheduler and event reminder.
1
SecureReminder.com
4
Shareware
Reminder software for Windows desktop. Desktop reminder & Advanced Scheduler.
1
Neon Labs
31
Shareware
NeoN Reminder is attractive, powerful and easy to use reminder software.
23
Oleh Demchenko
452
Freeware
Vaishnava Reminder is a Vaishnava community reminder tool.
Effective Aspects
2
Shareware
Effective Notes Reminder is a personal organizer and events reminder.
