Search Results for "checker"

...Want to know more by reading some of the sources referenced by the publication? This tool gives you the convenience of selecting a bunch of references at a time and looking them up in one go. Citation and reference checker: A tool for academics, students and, most of all, proofreaders. Helps identify wrong or missing references/citations in an academic text. Check it out here: https://sourceforge.net/projects/refs-checker/ OSD note: A simple but handy text editor for research notes, to-do lists, etc. https://sourceforge.net/projects/osd-note/

Checksum Checker is a part of the Digital Preservation Platform from the National Archives of Australia. It calculates checksums of stored objects and compares them with entries in a database created by Digital Preservation Recorder. NO LONGER MAINTAINED, NO LONGER SUPPORTED

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.

We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML.

dbook is a collection of programs to manage a big book collection on the command line Including: ISBN checker and converter, Amazon book information retrieval, [book data base, lend record] create bibtex out of latex/tex automatically. DBook is also a Document creation tool which can be found under http://www.dbook.org

Extended BON is a superset of BON, a clear and concise graphical and textual specification language for software systems. This tool suite consists of a scanner, parser, documentation generator, and design model checker for Extended BON.