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

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

    6.8 0.0 Haskell
    Management and Distribution of Secret Credentials
  • Capabilities

    6.6 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.
  • lio-fs

    5.5 0.0 Haskell
    Labeled IO Library
  • faceted

    5.2 0.0 Haskell
    Secure Information Flow
  • otp-authenticator

    4.8 0.0 Haskell
    OTP Authenticator (ala Google Authenticator) cli app
  • lmonad

    4.4 0.0 Haskell
    Information Flow Control for Haskell applications
  • smith-cli

    4.1 0.0 Haskell
    This is a command line tool for interacting with https://smith.st
  • dewdrop

    3.9 0.0 Haskell
    Find gadgets for return-oriented programming on x86
  • wai-saml2

    3.9 1.3 Haskell
    WAI middleware implementing SAML2
  • planb-token-introspection

    3.5 0.0 Haskell
    PlanB Token Introspection
  • openssh-protocol

    3.0 0.0 Haskell
    Haskell implementation of openssh protocol primitives.
  • liboath-hs

    3.0 0.3 Haskell
    Haskell bindings to the liboath library.
  • smith-client

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

    2.4 0.0 Haskell
    Gothic: a Haskell client library for HashiCorp Vault KVv2
  • wai-rate-limit

    2.4 1.7 Haskell
    Rate limiting as WAI middleware
  • passman

    1.4 0.0 Haskell
    Password Manager
  • paphragen

    0.9 0.0 Haskell
    A passphrase generator which can also build dictionaries.
  • TransformeR

    - -
    eDSL in R for Safe Variable Transformarion