10

8

6

4

2


8.9
0.8
lio

6.9
0.0

5.7
0.0

4.9
0.0

4.4
0.0

14 Security packages and projects

  • lio

    8.9 0.8 Haskell
    Labeled IO Information Flow Control Library
  • scyther-proof

    6.9 0.0 Isabelle
    Automatic generation of Isabelle/HOL correctness proofs for security protocols.
  • lio-fs

    5.7 0.0 Haskell
    Labeled File System interface for LIO
  • Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
    Promoted scoutapm.com
  • faceted

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

    4.4 0.0 Haskell
    LMonad is an Information Flow Control (IFC) framework for Haskell applications.
  • planb-token-introspection

    3.9 0.0 Haskell
    Token Introspection for PlanB
  • smith-cli

    3.6 0.0 Haskell
    Command line tool for <https
  • liboath-hs

    3.3 1.5 Haskell
    Bindings to liboath
  • wai-saml2

    3.3 4.1 Haskell
    SAML2 assertion validation as WAI middleware
  • openssh-protocol

    2.3 0.0 Haskell
    Haskell implementation of openssh protocol primitives.
  • smith-client

    1.9 0.0 Haskell
    API client for <https
  • wai-rate-limit

    1.4 5.0 Haskell
    Rate limiting as WAI middleware
  • passman

    1.4 1.2 Haskell
    a simple password manager
  • paphragen

    1.1 0.0 Haskell
    A passphrase generator.

Add another 'Security' Package