Search Results for "checker"

chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.

...LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. ...

Virastyar is a free and open-source (FOSS) spell checker. It stands upon the shoulders of many free/libre/open-source (FLOSS) libraries developed for processing low-resource languages, especially Persian and RTL languages Publications: Kashefi, O., Nasri, M., & Kanani, K. (2010). Towards Automatic Persian Spell Checking. SCICT. Kashefi, O., Sharifi, M., & Minaie, B. (2013). A novel string distance metric for ranking Persian respelling suggestions.

Hunspell is a spell checker and morphological analyzer library and program designed for languages with rich morphology and complex compounding or character encoding. Hunspell interfaces: Curses, Ispell compatible pipe interface, OpenOffice.org UNO module

A IC/MEMS layout editor. Features: all angle, font generator, macros, boolean operations, design rule checker, supported formats:Calma GDSII, OASIS (Open Artwork System Interchange Standard), OpenAccess, DXF, CIF (Caltech Intermediate Form), ...

LanguageTool is an Open Source language/grammar checker. *** THIS REPOSITORY IS OUT OF DATE, see https://github.com/languagetool-org INSTEAD ***

Arabic Spell Checker by ALECSO (The Arab League Educational, Cultural and Scientific Organization). Based on Hunspell

Tunatch is a binary patch applier, checker, creator and fixer project. Aims to be a platform for Unix systems.

Trofast is an intelligent spell checker library based on statistical analysis developed for the Danish language. It makes use of n-grams, hidden Markov models and the Viterbi-algorithm.

Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.

A simple php script that retrieves weather information from wunderground.com quickly and easily. Enter a city and state, then submit and a wunderground forecast banner image will load on the page. Not affiliated with wunderground.com

Queequeg is an English grammar checker for non-native English speakers.

Albion is a digital document archive presentation package. Features include a searchable database, an integrated spell checker, and automatic thumbnail generation. As native Perl as possible, the database/photos/search-function can be delivered on CD!

A simple, small proof checker that will accept a minimalist Lisp-ish syntax.