Haskell Security

14 Security packages and projects

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

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

Promo www.influxdata.com



• 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
  

• 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
  

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

  Password Manager