Pinned Repositories
AndroidTestApp
Test usage of checker-framework with an Android Studio 3.1 project
annotation-tools
Tools for type annotations in Java
bcel-util
Utility routines for working with the BCEL bytecode engineering library
checker-framework
Pluggable type-checking for Java
checker-framework-inference
Inference of pluggable types for Java
checker-framework.demos
Demos for the Checker Framework
checkerframework-gradle-plugin
Gradle plugin to use the Checker Framework for Java
daikon
Dynamic detection of likely invariants
daikon-typecheck
Type-check Daikon
daikon-typecheck-formatter
Type-check Daikon for the Formatter type system
smillst's Repositories
smillst/AndroidTestApp
Test usage of checker-framework with an Android Studio 3.1 project
smillst/annotation-tools
Tools for type annotations in Java
smillst/bcel-util
Utility routines for working with the BCEL bytecode engineering library
smillst/checker-framework
Pluggable type-checking for Java
smillst/checker-framework-inference
Inference of pluggable types for Java
smillst/checker-framework.demos
Demos for the Checker Framework
smillst/checkerframework-gradle-plugin
Gradle plugin to use the Checker Framework for Java
smillst/daikon
Dynamic detection of likely invariants
smillst/daikon-typecheck
Type-check Daikon
smillst/determinismPaper
smillst/error-prone
Catch common Java mistakes as compile-time errors
smillst/guava
Google Core Libraries for Java 6+
smillst/guava-typecheck
smillst/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
smillst/jdk-crashcheck
smillst/jfreechart
A 2D chart library for Java applications (JavaFX, Swing or server-side).
smillst/jfreechart-typecheck
smillst/jOOQ
jOOQ is the best way to write SQL in Java
smillst/junit5
✅ The 5th major version of the programmer-friendly testing framework for Java and the JVM
smillst/lombok
Very spicy additions to the Java programming language.
smillst/multi-version-control
Perform version control operations on multiple repositories at a time
smillst/options
Command-line option processing for Java
smillst/plume-lib
A library of useful abstractions for programming
smillst/plume-lib-typecheck
Type-check plume-lib using the Checker Framework
smillst/plume-util
Utility libraries for Java
smillst/randoop
Automatic test generation for Java
smillst/randoop-gradle-plugin
A Gradle Plugin for Randoop https://randoop.github.io/randoop/
smillst/require-javadoc
Requires a Javadoc comment to be present on every Java construct (class, method, etc.)
smillst/sparta
Static Program Analysis for Reliable Trusted Apps
smillst/stubparser
Reads stub files for the Checker Framework