Popular repositories Loading

1. attack-trees-in-monoidal-cats attack-trees-in-monoidal-cats Public

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

   TeX 5 1

2. ATLL-Formalization ATLL-Formalization Public

   Agda formalization of the Attack Tree Linear Logic

   Agda 5

3. Lina Lina Public

   A Haskell EDSL for conducting threat analysis using Attack Trees

   Haskell 4 1

4. ILL-Impl ILL-Impl Public

   Implementation of a term assignment for intuitionistic linear logic

   Haskell

5. separating-linear-modalities separating-linear-modalities Public

   Separating the structural rules into several different modalities, and then relating them

   TeX

6. non-comm-monads-adjoint-models non-comm-monads-adjoint-models Public

   Non-Commutative Monads from Commutative/Non-Commutative Adjoint Models

   TeX