Skip to content
View dvrana's full-sized avatar

Block or report dvrana

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

    Forked from hail-is/hail

    Hail, a framework for scalable genetic data analysis

    Scala

  2. fractal fractal Public

    Code for producing various computational images.

    C

  3. lsimpute lsimpute Public

    C++

  4. verifast verifast Public

    Forked from verifast/verifast

    Research prototype tool for modular formal verification of C and Java programs

    OCaml