Skip to content
View AndrewShf's full-sized avatar
🐱
🐱

Organizations

@eisop @opprop @SpearOfBayes

Block or report AndrewShf

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. checker-framework checker-framework Public

    Forked from eisop/checker-framework

    Pluggable type-checking for Java

    Java

  2. checker-framework-inference checker-framework-inference Public

    Forked from opprop/checker-framework-inference

    Inference of pluggable types for Java

    Java

  3. immutability immutability Public

    Forked from lnsun/immutability

    Practical Immutability For Classes And Objects Type System(PICO) enforces transitive class and object level immutability

    Java

  4. universe universe Public

    Forked from opprop/universe

    Generic Universe Type System

    Java

  5. opprop/checker-framework-inference opprop/checker-framework-inference Public

    Forked from typetools/checker-framework-inference

    Inference of pluggable types for Java

    Java 6 13

  6. opprop/immutability opprop/immutability Public

    The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability

    Java 3 5