Search Results for "checker"
Sort By:
Showing 25 open source projects for "checker"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
$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.
-
1
GrammarChecker
Grammar checker for any text field via keyboard shortcut using LLM
GrammarChecker is a utility for instant grammar correction in any text field via keyboard shortcut, powered by Large Language Models (LLM). Grammar Checker utilizes the OpenAI API, supporting both OpenAI and Google Gemini models (It is possible to add other custom models via config), and requires an API key to function. Simply select the text you want to check and trigger the assigned shortcut. Grammar Checker can be automatically launched on startup and run in the system tray. The main window provides a user-friendly interface where you can assign any specific keyboard shortcut for triggering grammar checks or adjust the prompt requirements to align with your specific writing needs, such as translating text into different language or something else. -
2
Interlingua Spell Check
Free Interlingua spell checker add-in for Microsoft Word
Interlingua Spell Check adds spell checking for Interlingua (IALA) to Microsoft Word. Check your whole document interactively with suggestions, or run a fast check of the whole document or only the selected text - unknown words are highlighted, and the whole check can be undone with a single Ctrl+Z. Based on the Hunspell engine and the Interlingua dictionary. Free, no registration, installs in seconds without administrator rights. Works with 32-bit and 64-bit Microsoft Word 2013,... -
3
Pure C99 Quadratic Sieve 230-bit minute, RSA-100 factored, easily accessible on Windows and Linux. Hello and welcome at sourceforge.net, i'm your student at Université de Franche-Comté, Mon, 11 Jul 2022. This ~2500 lines Pure C factorization software : - is imediately compatible with Microsoft Windows, Linux (no one dependancy) - is a C99 command line factorizer from 0 to 300 bits (330 bits were factored in the lab) - is built so that you can easily use and test the software -...
-
4
A set of cross-platform tools for connecting via TCP/IP to the VOEvent transient astronomy alert network. Tools include a receiver/broker, a sender/publishing tool, and a VOEvent message checker. Runs on Linux, Mac OS X and Microsoft Windows.
-
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.
-
5
hcfr
Free Video Projector/Monitor Calibration Software
Video Projector/Monitor Calibration Software orginally developed as ColorHCFR. This code base is based off version 2.1 and will aim for a more open development process. The opensource version integrates an ArgyllCMS interface for continued meter support and development. If you feel the program has been of value to you since I started working on it about 3 years ago please consider a contribution via the link below. Thanks! -zoyd https://www.paypal.me/zoyd -
6
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.
-
7
dadosSemiotica
Collecter and manager of semiotica annalisis data
...It works with sets of texts and the analysis are done on portions of the length of a sentence. One of the preprocessing modules is based on CoGroo (A LibreOffice & OpenOffice.org Portuguese Grammar Checker). -
8
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. ... -
9
Arramooz Alwaseet Open Arabic Dictionary for morphological analyze. To be useful for Arabic language processing. This dictionary is derived from the Ayaspell Arabic spell checker.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
Virastyar
Virastyar is an spell checker for low-resource languages
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. -
11
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
-
12
Spider PCB
Hierarchical Schematic and PCB
This project is in a pre-alpha stage and is intended to give a rough idea about the final program. It does not do much more than draw pretty pictures. Hierarchical circuit layout is commonplace amongst IC designers, but Spider PCB brings hierarchical layout to the PCB industry. Not only is the schematic hierarchical, but also the layout. Ever wanted to lay out a 16-band equaliser, with 5 sound channels? Lots of copying and pasting on the PCB-side. Just imagine if you could lay out one... -
13
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), ...
-
14
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 *** -
15
ALECSO Spell Checker
Arabic Spell Checker by ALECSO
Arabic Spell Checker by ALECSO (The Arab League Educational, Cultural and Scientific Organization). Based on Hunspell -
16
ntccKMC
ntccKMC: A Kripke-structure-based model checker for ntcc
ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group. -
17
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. -
18
The ntcc bounded-time Model Checker
to prove if a CLTL formula satisfy a ntcc process
The ntcc bounded-time model checker allow you to check if constraint linear time (CLTL) formulae satisfy a Non-deterministic Times Concurrent Constraint (ntcc) processes. Try it! -
19
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
-
20
Equivalence checking for two netlists of ORCAD schematic designs. Check out whether two netlists may generate the idendical PCB in later design stage, even if they are derived from different design procedures with different part-ref and siganl-name.
-
21
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
-
22
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!
-
23
-
24
-
25
- Previous
- You're on page 1
- Next
