Block or report user

Report or block dmurfet

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. polysemantics

    Polynomial semantics of linear logic

    Python 9 1

  2. deeplinearlogic

    Deep learning and linear logic

    Jupyter Notebook 6

  3. mf

    Computing with matrix factorisations

    TeX 3

  4. lgdual

    Adjunctions and defects in Landau-Ginzburg models


  5. cutsystems

    Computing with cut systems


  6. sweedler

    On Sweedler's cofree cocommutative coalgebra


64 contributions in the last year

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

Contribution activity

July 2018

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