Grafana Distribution of OpenTelemetry Instrumentation for Java - optimized for Grafana Cloud Application Observability. This project provides a Java agent JAR that can be attached to any Java 8+ ...

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 ...