Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Security packages

Showing projects tagged as Security

  • lio

    8.9 0.0 Haskell
    Labeled IO Library

  • scyther-proof

    7.0 0.0 Isabelle
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

  • credentials

    6.9 0.0 Haskell
    Management and Distribution of Secret Credentials

  • Capabilities

    6.7 0.0 Haskell
    A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.

  • wai-rate-limit

    5.7 5.1 Haskell
    Rate limiting for Servant and as WAI middleware

  • wai-saml2

    5.5 5.3 Haskell
    WAI middleware implementing SAML2

  • lio-fs

    5.3 0.0 Haskell
    Labeled IO Library

  • otp-authenticator

    5.1 5.8 Haskell
    OTP Authenticator (ala Google Authenticator) cli app

  • dewdrop

    4.6 0.0 Haskell
    Find gadgets for return-oriented programming on x86

  • 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.4 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

  • gothic

    2.8 6.0 Haskell
    A Haskell client library for HashiCorp Vault KVv2

  • openssh-protocol

    1.9 0.0 Haskell
    Haskell implementation of openssh protocol primitives.

  • paphragen

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

  • smith-client

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

  • passman

    1.4 0.0 Haskell
    Password Manager

  • TransformeR

    - -
    DISCONTINUED. eDSL in R for Safe Variable Transformarion