Search Results for "checker"
Sort By:
9 projects for "checker" with 2 filters applied:
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
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.
-
2
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...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. ... -
3
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
-
4
LanguageTool
Proofreading Software for 20+ Languages
LanguageTool is an Open Source language/grammar checker. *** THIS REPOSITORY IS OUT OF DATE, see https://github.com/languagetool-org INSTEAD *** -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
ALECSO Spell Checker
Arabic Spell Checker by ALECSO
Arabic Spell Checker by ALECSO (The Arab League Educational, Cultural and Scientific Organization). Based on Hunspell -
6
Trofast Stavekontrol
Trofast is an intelligent spell checker.
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. -
7
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
-
8
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!
-
9
-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
- Previous
- You're on page 1
- Next
