Search Results for "checkers java"
Sort By:
Showing 9 open source projects for "checkers java"
View related business solutions-
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.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
1
NullAway
A tool to help eliminate NullPointerExceptions (NPEs) in your code
NullAway is a tool to help eliminate NullPointerExceptions (NPEs) in your Java code. To use NullAway, first add @Nullable annotations in your code wherever a field, method parameter, or return value may be null. 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. ... -
2
ecl1
Provides a toolset for developing HISinOne extensions
ecl1 is a set of tools, implemented as Eclipse plugin, that supports the creation of HISinOne extensions. It adds support for creating a new HISinOne Extension and special checkers for the enrollment of lectures. -
3
Program for creating Verilog synthesizable XOR trees for high performance designs. Supports creation of Hamming Code (ECC) generators, checkers, and GF2 Multipliers.
-
4
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. -
Optimize your quoting process with DrayMaster, our intuitive rate management solution designed specifically for truckers and brokers.DrayMaster is the go-to tool for drayage carrier rate management, quicker quoting and improved collaboration, providing a simple web interface for looking up rates or integrating into an existing TMS. It is the only rate management solution that captures complete drayage rates beyond line haul and fuel surcharge with a full view to all accessorials, and the only neutral tariff management system and digital delivery platform designed specifically for the drayage industry. DrayMaster can also connect 3PLs, freight forwarders, and brokers with drayage providers utilizing great features including streamlined rate management and quoting, professional quotes that include all accessorials, simplified administration of complex rates, real-time access to current rate information, and a simple bid tool for quick RFP quoting. With DrayMaster, spend less time on challenging intermodal rates and more time growing your business.
-
5
Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.
-
6
MetaCheck is a java code checking utility to convert results from various code checking tools (jcsc, pmd, checkstyle, findbugs, ...) into one uniform xml/html result for each of the checkers and for the generated meta result.
-
7
Supplementary checkers for CheckStyle, somehow less tested and mature than the standard checkers provided by CheckStyle, but that will be one day included into the standard distribution of Checkstyle, if approved.
-
8
Yet Another Component Meta Model Framework. Similar to the Java reflection API, but generic so it can be used with different implementations, and then be used by various Services like Editors, Constraint-Checkers, Bindings, Persistence, and Transaction.
-
9
Ataraxia will provide a generic internet gaming framework in java. Board, table, card games will be easy to be developed! bridge, hearts, spades, rummy, go, connect-4, chess, checkers, monopoly, risk, mahjong and more will come! JXTA P2P will be tested.
-
Native Teams: Payments and Employment for International TeamsWith Native Teams’ Employer of Record (EOR) service, you can compliantly hire in 85+ countries without setting up a legal entity. From dedicated employee support and localised benefits to tax optimisation, we help you build a global team that feels truly cared for.
- Previous
- You're on page 1
- Next
