Skip to content


  • Arctic Code Vault Contributor
  • Pro


  1. A raytracer written in PyTorch (raynet?)

    Python 192 16

  2. A certifiable defense against adversarial examples by training neural networks to be provably robust

    Python 161 15

  3. higher order dependently typed logic programing

    Haskell 143 7

  4. Proof that Haskell can look and act like an imperative language.

    Haskell 73 3

  5. A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets

    Python 106 3

  6. ETH Robustness Analyzer for Deep Neural Networks

    Python 147 50

35 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

October 1, 2020

mmirman has no activity yet for this period.

May 2020

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

You can’t perform that action at this time.