jackson-modules-java17-sealed-classes is a Jackson module that adds improved support for polymorphic serialization of Java 17 sealed classes. This implementation was merged upstream into ...

Thalia is a testing framework for validating static typing procedures in compilers via an API-driven program synthesis approach. The idea is to synthesize type-intensive but small and well-typed ...