Popularity
6.8
Stable
Activity
0.0
Stable
12
6
3
Monthly Downloads: 22
Programming language: Isabelle
License: LicenseRef-GPL
Tags:
Theorem Provers
Security
Latest version: v0.10.0.1
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.
-
wai-rate-limit
Rate limiting for Servant and as WAI middleware -
smith-cli
This is a command line tool for interacting with https://smith.st -
planb-token-introspection
PlanB Token Introspection -
openssh-protocol
Haskell implementation of openssh protocol primitives. -
smith-client
This is an API client library for interacting with https://smith.st -
paphragen
A passphrase generator which can also build dictionaries.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
Do you think we are missing an alternative of scyther-proof or a related project?
README
data/isabelle/README