Block or report user

Report or block heades

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@MonoidalAttackTrees @disco-lang @granule-project

Pinned repositories

  1. granule-project/granule

    Granule: a statically typed functional language with graded modal types for fine-grained program reasoning via types

    Haskell 89 1

  2. MonoidalAttackTrees/Lina

    A Haskell EDSL for conducting threat analysis using Attack Trees

    Haskell 3 1

  3. MonoidalAttackTrees/attack-trees-in-monoidal-cats

    Project Repository: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories

    TeX 5

  4. ct-gradual-typing/Papers

    The Combination of Dynamic and Static Typing from a Categorical Perspective

    TeX 8

  5. ct-gradual-typing/Grady

    A Gradually Typed Functional Programming Language with Bounded Quantification

    Haskell 5

  6. Agda-LLS

    An Implementation of Various Linear Logics in Agda

    Haskell 2

479 contributions in the last year

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

Contribution activity

September 2018

33 contributions in private repositories Sep 1 – Sep 20

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