69
TC UP Team
11,925
Freeware
Add extra features, settings, and programs to Total Commander file manager.
Matt Kaufmann and J Strother Moore University of Texas at Austin
1
Freeware
A programming language and a tool to help you prove properties of those models.
4
Gammadyne Corporation
106
Shareware
Generates random, artificial words using a configurable method of construction.
87
AI-powered platform for professional text generation and Excel formula creation.
FontLab Ltd.
229
Shareware
Universal font format converter for Mac and Windows.
3
Virtools
7
Freeware
3D XML is a universal, lightweight XML-based format plugin.
86
NativeWinds
4
Freeware
This is a program to convert Word Doc files to the universal rtf format.
SoreHead Software
2
Freeware
Converts ECUTalk Log Files to a More Universal CSV Format.
1
FrontRow Calypso LLC.
9
Freeware
Saves recordings in universal MP4 format, ready to be uploaded.
62
Sobolsoft
2
Shareware
Memorize the valid 2-letter, 3-letter and 4-letter words in Scrabble.
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.
