Pinned Repositories
checker-framework
Pluggable type-checking for Java
checker-framework-inference
Inference of pluggable types for Java
immutability
The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
ontology
ReadChecker
units-inference
universe
Generic Universe Type System
value-inference
webproject
opprop's Repositories
opprop/checker-framework-inference
Inference of pluggable types for Java
opprop/immutability
The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
opprop/value-inference
opprop/checker-framework
Pluggable type-checking for Java
opprop/ontology
opprop/ReadChecker
opprop/annotation-tools
Tools for type annotations in Java
opprop/automation-script
opprop/cast-checker
opprop/generic-type-inference-solver
opprop/jdk
Read-only mirror of https://hg.openjdk.java.net/jdk/jdk
opprop/multiDeclRefactor
opprop/stubparser
Reads stub files for the Checker Framework
opprop/units-inference
opprop/universe
Generic Universe Type System
opprop/webproject
opprop/corpus-utils
A repository holds util scripts for automating common processes running on a corpus.
opprop/DemoProject4TestMinimizer
Foo Project for demo delta debugger for CF and CFI.
opprop/do-like-javac
opprop/opprop.github.io
OpProp website
opprop/security-demo
Demo type system with a simple security lattice.