10

8

6

4

2


8.9
0.0
lio

7.5
0.0

5.7

5.1

5.5

7.2

5.2
0.0

4.1
0.0

14 Security packages and projects

  • lio

    8.9 0.0 Haskell
    Labeled IO Library
  • scyther-proof

    7.5 0.0 Isabelle
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  • Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
    Promo coderabbit.ai
    CodeRabbit Logo
  • wai-rate-limit

    5.7 5.1 Haskell
    Rate limiting for Servant and as WAI middleware
  • wai-saml2

    5.5 7.2 Haskell
    WAI middleware implementing SAML2
  • lio-fs

    5.2 0.0 Haskell
    Labeled IO Library
  • lmonad

    4.1 0.0 Haskell
    Information Flow Control for Haskell applications
  • liboath-hs

    3.6 2.6 Haskell
    Haskell bindings to the liboath library.
  • faceted

    3.6 0.0 Haskell
    Secure Information Flow
  • planb-token-introspection

    3.3 0.0 Haskell
    PlanB Token Introspection
  • smith-cli

    3.1 0.0 Haskell
    This is a command line tool for interacting with https://smith.st
  • openssh-protocol

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

    1.6 0.0 Haskell
    This is an API client library for interacting with https://smith.st
  • paphragen

    1.6 0.0 Haskell
    A passphrase generator which can also build dictionaries.
  • passman

    1.3 0.0 Haskell
    Password Manager

Add another 'Security' Package