scyther-proof alternatives and similar packages

Based on the "Security" category.
Alternatively, view scyther-proof alternatives based on common mentions on social networks and blogs.

Promo github.com/nanovms

faceted

5.2 0.0 scyther-proof VS faceted

Secure Information Flow
lmonad

4.4 0.0 scyther-proof VS lmonad

Information Flow Control for Haskell applications
smith-cli

4.1 0.0 scyther-proof VS smith-cli

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

3.8 1.3 scyther-proof VS wai-saml2

WAI middleware implementing SAML2
planb-token-introspection

3.5 0.0 scyther-proof VS planb-token-introspection

PlanB Token Introspection
liboath-hs

3.0 0.3 scyther-proof VS liboath-hs

Haskell bindings to the liboath library.
openssh-protocol

3.0 0.0 scyther-proof VS openssh-protocol

Haskell implementation of openssh protocol primitives.
smith-client

2.6 0.0 scyther-proof VS smith-client

This is an API client library for interacting with https://smith.st
wai-rate-limit

2.3 1.7 scyther-proof VS wai-rate-limit

Rate limiting as WAI middleware
passman

1.3 0.0 scyther-proof VS passman

Password Manager
paphragen

0.9 0.0 scyther-proof VS paphragen

A passphrase generator which can also build dictionaries.

Do you think we are missing an alternative of scyther-proof or a related project?

README

data/isabelle/README