Smith-cli Alternatives

Similar projects and alternatives to smith-cli

• scyther-proof

  0 13 0.0 Isabelle smith-cli VS scyther-proof

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

• faceted

  0 1 0.0 Haskell smith-cli VS faceted

  Secure Information Flow

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• liboath-hs

  0 4 2.6 Haskell smith-cli VS liboath-hs

  Haskell bindings to the liboath library.

• smith-client

  0 0 0.0 Haskell smith-cli VS smith-client

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

  

• planb-token-introspection

  0 1 0.0 Haskell smith-cli VS planb-token-introspection

  PlanB Token Introspection

• paphragen

  0 0 0.0 Haskell smith-cli VS paphragen

  A passphrase generator which can also build dictionaries.

• passman

  0 2 0.0 Haskell smith-cli VS passman

  Password Manager (by jlamothe)

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• wai-saml2

  0 5 5.3 Haskell smith-cli VS wai-saml2

  WAI middleware implementing SAML2

• openssh-protocol

  0 1 0.0 Haskell smith-cli VS openssh-protocol

  Haskell implementation of openssh protocol primitives.