This is the Java version of the safe HTML types library which allows safe-by-construction of web applications by introducing types with safe contracts for snippets of content in web languages.
This repository has been archived by the owner on Dec 7, 2023. It is now read-only.