Search Results for "checker"
Sort By:
Showing 41 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.
-
PRTG Catches Network Issues Before They Cause DowntimeReactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
-
1
NullAway
A tool to help eliminate NullPointerExceptions (NPEs) in your code
...Given these annotations, NullAway performs a series of type-based, local checks to ensure that any pointer that gets dereferenced in your code cannot be null. NullAway is similar to the type-based nullability checking in the Kotlin and Swift languages, and the Checker Framework and Eradicate null checkers for Java. NullAway is fast. It is built as a plugin to Error Prone and can run on every single build of your code. In our measurements, the build-time overhead of running NullAway is usually less than 10%. NullAway is also practical: it does not prevent all possible NPEs in your code, but it catches most of the NPEs we have observed in production while imposing a reasonable annotation burden, giving a great "bang for your buck." -
2
tlaplus
TLC is an explicit state model checker for specifications in TLA+
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. -
3
plugfy
Java byte code compatibility analyser
Plugfy checks whether all dependencies of an extension are met. It pays special attention to method signatures and can detect incompatible byte code changes even if they are compatible at the source code level. -
4
LibreGrammar (LanguageTool fork)
Free and open-source style and grammar editor
This is a free and open-source style and grammar checker forked from Languagetool. This project intends to be a full-blown software editor for French, English, German, Spanish, Portuguese and many other languages that enhances LanguageTool with extended rules — with emphasis on style rules —, and enables many rules disabled by default on LanguageTool project. Other changes include lower reliance on online mechanisms and extra languages. --- Este é um verificador de gramática e estilo gratuito e de código-fonte aberto, bifurcado do Languagetool. ... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
-
6
Latin Square Toolbox
Generates Latin squares and counts their transversals
...This open source release aims to help educate folks on Latin squares and their important applications to cryptography. This version contains three tools: 0. Latin Square Generator (LSG) 1. Latin Square Transversal Counter (LSTC) 2. Latin Square Property Checker (LSPC) -
7
JOrtho is a spell checker for Java. The library works with any JTextComponent from the swing framework. The dictionary is based on the free Wiktionary.org and applicable for multiple languages. You can select the spellchecking language via context menu.
-
8
-
9
The Tool Box
Tools for the payments type!
Version 1.1.5 - Added: Added the ability to edit the EMV panel - You can change which tags show, and what order they are in - Added: Tag 9F10 (Issuer Application Data) to which also includes CVR (a subtag of 9F10) - Added: Menu link to the homepage (sourceforge) - Fixed: 9F07/AUC had the wrong tag details - Fixed: File>Close now saves notes and config updates before exiting - Fixed: Tag 95/TVR title had a spelling mistake - Fixed: Homepage wasn't populating EMV page names -... -
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.
-
10
Checkclipse is a plugin which integrates the Checkstyle style checker for Coding Guidelines into Eclipse. All Java style violations will be immediately reported by error markers. Coding Guidelines can be configured for each project separately.
-
11
Voikko
Library of linguistic tools
Voikko is a spell checking, grammar checking, morphological analysis and hyphenation system. Spell checkers are available for multiple languages, other features for Finnish only. -
12
BeanEqualsChecker
Java library can be used in JUnit testcases for beans coverage
...Suitable for check methods: "equals", "hashCode", getters and setters. Similar with "https://sourceforge.net/projects/meanbean". Base usage: BeanEqualsChecker checker = new BeanEqualsChecker(); checker.testEquals(MineBean.class); For constructor with parameters, factory can be used: checker.testEquals(MineBeanWithConstructor.class, new EqualBeanFactory<MineBeanWithConstructor>() { @Override public MineBeanWithConstructor create() { return new MineBeanWithConstructor(1,""); } }); Custom validators, primitive generators can be added "BeanEqualsConfiguration". ... -
13
oozie-workflow-checker
Validation of complex Apache Oozie Hadoop workflow
Library validated complex Oozie workflows (http://oozie.apache.org/). Two usage scenarios: 1) Execute workflow with specified parameters, and as result get list of passed nodes. Sample in WorkflowDirProcessorIntegrationTest Note: from all workflow functions only "wf:conf" is supported now. 2) Check called actions exists or build full call tree in xml format Sample in OozieWorkflowCheckerTest: You can override properties from "config-default.xml" and "job.properties" by file... -
14
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
15
-
16
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.
-
17
The Checker framework is an easily expansible set of check/transformation to build hierarchy of chain operations easily to-store/to-be created and re utilized (at run time if you want).
-
18
Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.
-
19
xmlOrganizer Tools for XML including: - XSD validator, organizer, formatter, and checker for unused types. - XML validator, organizer, and formatter.
-
20
Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.
-
21
The Version Checker Tool traverses the given folder or directory and groups the found classes by java major and minor version. It helps to identify and resolve the java run time compatibility issues with class and jar files.
-
22
Commit Warning Checker is a small eclipse plugin that lets you check not to commit warnings into repository. Currently it works with Java and SVN only.
-
23
Xcarecrows4XML completes Eclipse to handle the tasks required by an XML workflow. It offers: a graphical XML, XML Schema and XML stylesheets editor; a graphical XML tree comparator; a built-in checker against XML Schemas; an XSL transformations tool kit.
-
24
Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.
-
25
Open Source License Checker is tool for inspection and analysis of lisence information from open source packages.
