scyther-proof VS the-book-of-secret-knowledge

Compare scyther-proof vs the-book-of-secret-knowledge and see what are their differences.

scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols. (by meiersi)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
scyther-proof the-book-of-secret-knowledge
- 47
13 129,060
- -
0.0 3.4
almost 9 years ago 15 days ago
Isabelle
LicenseRef-GPL MIT License
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.

the-book-of-secret-knowledge

Posts with mentions or reviews of the-book-of-secret-knowledge. 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 the-book-of-secret-knowledge you can also consider the following projects:

faceted - Secure Information Flow

Awesome-Linux-Software - 🐧 A list of awesome Linux softwares

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

awesome-piracy - A curated list of awesome warez and piracy links

liboath-hs - Haskell bindings to the liboath library.

the-art-of-command-line - Master the command line, in one page

openssh-protocol - Haskell implementation of openssh protocol primitives.

Awesome-Hacking - A collection of various awesome lists for hackers, pentesters and security researchers

lmonad - Information Flow Control for Haskell applications

awesome-sysadmin - MOVED/ARCHIVED A curated list of amazingly awesome open source sysadmin resources.

planb-token-introspection - PlanB Token Introspection

awesome-fastapi - A curated list of awesome things related to FastAPI