Skip to content
View xrival's full-sized avatar

Organizations

@Antique-team

Block or report xrival

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

Popular repositories Loading

  1. QUICr QUICr Public

    Forked from arlencox/QUICr

    QUICr parametric abstract domain for sets

    OCaml 1

  2. symbolic-sets-paper symbolic-sets-paper Public

    Forked from arlencox/symbolic-sets-paper

    Paper on symbolic set abstraction

    TeX

  3. kanji-frequency kanji-frequency Public

    Forked from scriptin/kanji-frequency

    Kanji usage frequency data collected from various sources

    JavaScript