6 Repositories
Java exhaustiveness-checking Libraries
A Java API for checking if text contains profanity via the alt-profanity-checker Python library.
ProfanityCheckerAPI A Java API for checking if text contains profanity via the alt-profanity-checker Python library. It uses jep to run and interpret
Simple and lightweight application which is checking status of your web services and send a notification if it is down.
rose-uptimer Simple and lightweight application which is checking status of your web services and send a notification if it is down. Example configura
Provides some Apple Wallet functionality, like adding passes, removing passes and checking passises for existing.
react-native-wallet-manager Provides some Apple Wallet's functionality, like adding passes, removing passes and checking passises for existing. Instal
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Derive4J: Java 8 annotation processor for deriving algebraic data types constructors, pattern matching and more! tl;dr Show me how to write, say, the
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Derive4J: Java 8 annotation processor for deriving algebraic data types constructors, pattern matching and more! tl;dr Show me how to write, say, the
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Java Pathfinder (JPF) An extensible software model checking framework for Java bytecode programs General Information about JPF All the latest developm