typetools/checker-framework

**typetools/checker-framework** – это открытая библиотека, реализующая расширяемую систему плавающих типовых проверок для Java, позволяя разработчикам писать со