Mac
Mac
Windows
Log in / Sign up
Mac
›
Tags
›
TLC model checker
Most popular
TLC Model Checker
software
Relevance
Popularity
Rating
Java Preferences
90,220
Chief Architect
Home Designer Architectural is powerful home design...
tools to create 3D
models
, scaled plans
SketchUp
free
37,186
Trimble Inc.
SketchUp is an intuitive, fun and free for anyone to use 3D sketching program...
application lets you
model
anything you can imagine...piece of furniture,
model
your city for Google
Openoffice
3
Apache Software Foundation
Thunderbird
free
19,069
Mozilla
As of July 2012, Thunderbird has transitioned to a new governance model, with new features being...
to a new governance
model
...The project strategy is
modeled
after Mozilla Firefox
Brave Browser
free
10,657
Brave Software Inc.
Brave blocks trackers and intrusive ads that can slow you down on the web...
Brave blocks trackers and intrusive ads that can slow you down on the web. It keeps
Visual Studio Code
free
9,240
Microsoft
Visual Studio Code provides developers with a new choice of developer tool that combines the simplicity...
will include a public extensibility
model
that lets developers
NetSpot
1
Garmin BaseCamp
free
7,671
GARMIN Corporation
Garmin BaseCamp is a 3D mapping application that allows you to transfer waypoints...
that include digital elevation
model
(DEM) data, such
Sublime Text
free
6,992
Sublime HQ Pty Ltd
Sublime Text is a software editor, mostly used by professionals...
its features, like spell
checker
, syntax highlighting, or interactive
Solution Menu
6,584
SI Agency
Solution Menu is a menu window that provides quick access, from your desktop...
appears according to the
model
Grand Rhapsody
5,763
Waves Audio Ltd.
Like a sleek Italian sports car, the Fazioli F228 model was engineered from the finest Italian parts and craftsmanship...
car, the Fazioli F228
model
was engineered
Home Inventory
5,321
Binary Formations, LLC
Home Inventory is exactly what its name implies: a utility designed to help...
Home Inventory is exactly what its name implies: a utility designed to help
Excalibur
free
4,377
Rick Zaccone
Excalibur is a free open source TeX/LaTeX-Aware spelling checker. Still, it will also check...
TeX/LaTeX-Aware spelling
checker
. Still
MySQLWorkbench
free
4,368
Oracle Corporation
MySQL Workbench is a unified visual application for database architects, developers, and DBAs. MySQL Workbench...
Workbench provides data
modeling
, SQL development ...to visually design,
model
, generate
Quick Note
free
3,565
Diigo Inc.
Quick Note is a simple application that allows you to take...
The program includes spell
checker
and you can
MachineProfile
free
3,417
Micromat Inc.
MachineProfile is a Mac program designed to provide you with technical hardware details about your computer...
name of your Mac
model
...processor name and
model
, etc
WhatsYourSign
free
3,096
objective-see llc
WhatsYourSign is a tool that is able to check whether a certain file has a valid cryptographic signature...
WhatsYourSign is a tool that is able to check whether a certain file has a valid cryptographic
Grammarly Spell Checker & Grammar
free
2,630
Grammarly Inc.
Grammarly Spell Checker & Grammar can check your online communication. This browser extension helps...
Grammarly Spell
Checker
& Grammar can check
CmapTools
free
2,358
Institute for Human & Machine Cognition
The IHMC CmapTools program empowers users to construct, navigate, share and criticize knowledge...
share and criticize knowledge
models
represented as concept maps
Call Log
free
1,998
Mark/Space
Mark/Space Call Log is included with our Missing Sync series of applications...
our new premium accounts
model
. New "Delete Duplicates"
1
2
3
4
5
6
7
8
9
…
20
Tags
Create Interior Design
Design
Home Remodeling
Language Examples
Map Tool
Model
Spell Checker
System Info
Text
Topographic Map