Skip to content
View nikswamy's full-sized avatar

Block or report nikswamy

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. SafeTypeScript SafeTypeScript Public

    A type-safe dialect of TypeScript

    JavaScript 25 1

  2. linguist linguist Public

    Forked from github-linguist/linguist

    Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

    Ruby

  3. z3 z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++

  4. rego-fstar rego-fstar Public

    Forked from anakrish/Rego-FStar

    Rego experiments

    F*

  5. merkle-tree merkle-tree Public

    Forked from hacl-star/merkle-tree

    A verified Merkle Tree, built as a standalone project on top of EverCrypt

    F*