languagetool-org / languagetool

Style and Grammar Checker for 25+ Languages

tlaplus / tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

validator / validator

The Nu Html Checker (vnu)

w3c / epubcheck

The conformance checker for EPUB publications

jplag / JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

typetools / checker-framework

Pluggable type-checking for Java

MANCrimSon / YouTube-ReVanced-Extended

Auto-built YouTube & YT Music (RVX/Morphe + VoT) with in-app updates. NonRoot APKs (Obtainium) and Root modules (Magisk/KernelSU/APatch).