jthaine

University of WashingtonSeattle, Washington

Pinned Repositories

daikon
Dynamic detection of likely invariants
Language:C215 8 10154
checker-framework
Pluggable type-checking for Java
Language:Java1 5 00
checker-framework-inference
Inference of pluggable types for Java
Language:Java00
daikon
Dynamic detection of likely invariants
Language:C00
plume-lib
A library of useful abstractions for programming. Obsolete, use https://github.com/plume-lib/ instead.
Language:Java9 6 1223
annotation-tools
Tools for type annotations in Java
Language:Java38 16 14234
checker-framework
Pluggable type-checking for Java
Language:Java1k 44 2k357
checker-framework-inference
Inference of pluggable types for Java
Language:Java10 15 1833

jthaine's Repositories

jthaine/checker-framework
Pluggable type-checking for Java
Language:Java1 5 00
jthaine/checker-framework-inference
Inference of pluggable types for Java
Language:Java00
jthaine/daikon
Dynamic detection of likely invariants
Language:C00