10

8

6

4

2


3.8

2.6

2.0
0.3

3.4
0.0
1.1
0.0

7.0
0.0

12 Security packages and projects

  • smith-cli

    3.8 2.6 Haskell
    Command line tool for <https
  • openssh-protocol

    2.4 0.3 Haskell
    Haskell implementation of openssh protocol primitives.
  • smith-client

    2.0 0.3 Haskell
    API client for <https
  • liboath-hs

    3.4 0.0 Haskell
    Bindings to liboath
  • paphragen

    1.1 0.0 Haskell
    A passphrase generator.
  • scyther-proof

    7.0 0.0 Isabelle
    Automatic generation of Isabelle/HOL correctness proofs for security protocols.
  • lmonad

    4.0 0.0 Haskell
    LMonad is an Information Flow Control (IFC) framework for Haskell applications.
  • lio-fs

    8.2 0.0 Haskell
    Labeled File System interface for LIO
  • lio

    8.9 0.0 Haskell
    Labeled IO Information Flow Control Library
  • faceted

    5.0 0.0 Haskell
    Faceted computation for dynamic information flow security
  • planb-token-introspection

    4.0 0.0 Haskell
    Token Introspection for PlanB
  • passman

    1.4 0.0 Haskell
    a simple password manager

Add another 'Security' Package