Skip to content
Pro
Block or report user

Report or block abhimanyupallavisudhir

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block abhimanyupallavisudhir

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. Bayesian-Inference

    RShiny applet demonstrating continuous Bayesian Inference

    R

  2. Monte-Carlo-simulations

    Some random Monte-Carlo simulations for various purposes

    JavaScript

  3. Sudoku-Solver

    Sudoku Solver (Python, JS)

    JavaScript

  4. leanprover-community/mathlib

    Lean mathematical components library

    Lean 234 105

37 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

January 2020

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.