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.
2
NIERSOFT
55
Freeware
This game is classical n-puzzle game. You can play this game with boards ranging from 2x2 up to 6x6....
1
Minihttp
40
Freeware
Make 2x2,3x3,4x4 animation preview thumbnail GIF/AVI for your video files.
88
AnyTech, Inc.
4
Shareware
2x2 (Two by Two) is a multiplication puzzle game.
8
TEAC Corporation
635
Freeware
Driver for the TASCAM US-2x2, which is a 2-in/2-out Audio/MIDI Interface.
LockwoodTech Software
Shareware
Template based code generation for ANY language used with Microsoft SQL Server. Includes a template....
Dhetemplate
8
Freeware
Glider V2 Blogger Template is a free premium blogger template.
