Pinned Repositories
checker-framework
Pluggable type-checking for Java
annotation-tools
Tools for type annotations in Java
aws-crypto-policy-compliance-checker
A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
CFGVisualization
Control Flow Graph Visualization for Checker Framework
checker-framework
Pluggable type-checking for Java
checker-framework-inference
Inference of pluggable types for Java
checker-framework-reformat
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
integration-test
Big integration test of all tools
jsr308-langtools
hg-git mirror of https://bitbucket.org/typetools/jsr308-langtools
wmdietl's Repositories
wmdietl/jsr308-langtools
hg-git mirror of https://bitbucket.org/typetools/jsr308-langtools
wmdietl/integration-test
Big integration test of all tools
wmdietl/annotation-tools
Tools for type annotations in Java
wmdietl/aws-crypto-policy-compliance-checker
A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
wmdietl/CFGVisualization
Control Flow Graph Visualization for Checker Framework
wmdietl/checker-framework
Pluggable type-checking for Java
wmdietl/checker-framework-inference
Inference of pluggable types for Java
wmdietl/checker-framework-reformat
wmdietl/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
wmdietl/ece150-demo
wmdietl/jspecify-reference-checker
wmdietl/eisop-webserver
Checker Framework Live Demo
wmdietl/error-prone
Catch common Java mistakes as compile-time errors
wmdietl/generic-type-inference-solver
wmdietl/integration-test2
2nd big integration test of all tools
wmdietl/javaparser-module-bug
wmdietl/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
wmdietl/jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
wmdietl/jspecify-reference-checker-forked
wmdietl/key
KeY Theorem Prover for Deductive Java Verification
wmdietl/lombok
Very spicy additions to the Java programming language.
wmdietl/plume-bib
BibTeX bibliographies
wmdietl/plume-lib
A library of useful abstractions for programming
wmdietl/plume-util
Utility libraries for Java
wmdietl/wmdietl
wmdietl/wmdietl.github.io
GitHub homepage for wmdietl