Haskell Security

14 Security packages and projects

• lio

  8.9 0.0 Haskell

  Labeled IO Library
  

• scyther-proof

  6.7 0.0 Isabelle

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

TestGPT | Generating meaningful tests for busy devs

Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.

Promo codium.ai



• lio-fs

  5.2 0.0 Haskell

  Labeled IO Library
  

• wai-rate-limit

  5.2 0.0 Haskell

  Rate limiting for Servant and as WAI middleware

• faceted

  4.9 0.0 Haskell

  Secure Information Flow
  

• lmonad

  4.6 0.0 Haskell

  Information Flow Control for Haskell applications

• wai-saml2

  4.4 6.6 Haskell

  WAI middleware implementing SAML2

• smith-cli

  3.6 0.0 Haskell

  This is a command line tool for interacting with https://smith.st
  

• liboath-hs

  3.4 1.8 Haskell

  Haskell bindings to the liboath library.

• planb-token-introspection

  3.1 0.0 Haskell

  PlanB Token Introspection

• openssh-protocol

  2.5 0.0 Haskell

  Haskell implementation of openssh protocol primitives.
  

• smith-client

  2.1 0.0 Haskell

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

• passman

  1.8 0.0 Haskell

  Password Manager

• paphragen

  1.3 0.0 Haskell

  A passphrase generator which can also build dictionaries.