Popularity
6.9
Stable
Activity
0.0
Stable
12
6
3
Monthly Downloads: 34
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.
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Promo
scoutapm.com
Do you think we are missing an alternative of scyther-proof or a related project?
README
data/isabelle/README