Skip to content
View siddharth-krishna's full-sized avatar

Block or report siddharth-krishna

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. nyu-thesis-template nyu-thesis-template Public

    NYU GSAS PhD thesis template

    TeX 8 4

  2. babyfluid babyfluid Public

    IV fluid mixture calculator for newborns

    HTML

  3. intro-python intro-python Public

    Introduction to Programming with Python

    Python

  4. wies/grasshopper wies/grasshopper Public

    An automated deductive program verifier.

    OCaml 39 13

  5. microsoft/dist-ir microsoft/dist-ir Public

    An IR for efficiently simulating distributed ML computation.

    Python 25 4

  6. plow-technologies/inferno plow-technologies/inferno Public

    A statically-typed functional scripting language

    Haskell 4 1