10

8

6

4

2


8.8

2.9
lio

7.9
0.3

6.2
0.0

5.7
0.0

3.6
0.0
0.4

2.3

6 Security packages and projects

  • lio

    8.8 2.9 Haskell
    Labeled IO Information Flow Control Library
  • lio-fs

    7.9 0.3 Haskell
    Labeled File System interface for LIO
  • scyther-proof

    6.2 0.0 Isabelle
    Automatic generation of Isabelle/HOL correctness proofs for security protocols.
  • faceted

    5.7 0.0 Haskell
    Faceted computation for dynamic information flow security
  • lmonad

    3.6 0.0 Haskell
    LMonad is an Information Flow Control (IFC) framework for Haskell applications.
  • paphragen

    0.4 2.3 Haskell
    A passphrase generator.

Add another 'Security' Package