scyther-proof VS Awesome-Hacking

Compare scyther-proof vs Awesome-Hacking and see what are their differences.

scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols. (by meiersi)

Awesome-Hacking

A collection of various awesome lists for hackers, pentesters and security researchers (by Hack-with-Github)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
scyther-proof Awesome-Hacking
- 12
13 77,275
- 2.4%
0.0 3.7
almost 9 years ago 12 days ago
Isabelle
LicenseRef-GPL Creative Commons Zero v1.0 Universal
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

scyther-proof

Posts with mentions or reviews of scyther-proof. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning scyther-proof yet.
Tracking mentions began in Dec 2020.

Awesome-Hacking

Posts with mentions or reviews of Awesome-Hacking. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-07-03.

What are some alternatives?

When comparing scyther-proof and Awesome-Hacking you can also consider the following projects:

faceted - Secure Information Flow

hackdroid - Security Apps for Android

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

Free-RASP-Community - SDK providing app protection and threat monitoring for mobile devices, available for Flutter, Cordova, Android and iOS.

liboath-hs - Haskell bindings to the liboath library.

HG8045Q - Pwning the Nuro issued Huawei HG8045Q

openssh-protocol - Haskell implementation of openssh protocol primitives.

the-book-of-secret-knowledge - A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

lmonad - Information Flow Control for Haskell applications

awesome-threat-intelligence - A curated list of Awesome Threat Intelligence resources

planb-token-introspection - PlanB Token Introspection

Awesome-Fuzzing - A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.