Search Results for "spell checker in java"

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

Voikko is a spell checking, grammar checking, morphological analysis and hyphenation system. Spell checkers are available for multiple languages, other features for Finnish only.

This library provides functionality to check a SF.net RSS feed for the latest file. My Wallpaper Changer uses this lib to check for updates.

Making Hebrew properly searchable by IR software. Right now, most work is being done in our mailing list (planning), and on our github repository (concept code, see below).