Phishing Domains, urls websites and threats database. We use the PyFunceble testing tool to validate the status of all known Phishing domains and provide stats to reveal how many unique domains used for Phishing are still active.

Validity and validity-based testing

New libfprint driver for VFS451 (138a:0007), VFS471 (138a:003c), VFS491 (138a:003d), VFS495 (138a:003f). Warning: depends on proprietary binaries.

Lightweight, functional and correct time-series library for scala. Easy manipulation, filtering and combination of time-series data.

A parser of relational predicate logic & truth tree solver, written in Rust.

reportValidity() ponyfill

【Deprecated】A validity middleware uses with koa.

AUR PKGBUILD for libfprint with WIP driver for Validity/Synaptics 138a:0090, 138a:0094, 138a:0097, 06cb:0081

libfprint with Validity VFS495 support

semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.

resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.

Check if a given date is within a period of a given date