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

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

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"

Model Checker

Tags