This repository collects lists of tools and resources for hackers and security researchers.
Open source
24 alternativesAwesome Formal Verification
vsMy Infosec Awesome
Awesome Formal Verification vs My Infosec Awesome
How do Awesome Formal Verification and My Infosec Awesome compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Awesome Formal Verification | My Infosec Awesome |
|---|---|---|
| What it is | This repository organizes formal verification and model-checking resources, techniques, and tools. | Browse a curated collection of information security tools, links, and learning resources. |
| Website | ||
| Type | Open-source project | Open-source project |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Not recorded | Not recorded |
| Open source | Yes | Yes |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Awesome Formal Verification and My Infosec Awesome.
Security and best-practice issues in container images can be checked with Dockle.
Open source
24 alternatives
AllSafe provides an intentionally vulnerable Android app for security testing and practice.
Open source
24 alternatives
This GitHub list collects books, guidelines, blogs, videos, tools, and cases related to CI/CD security.
Open source
24 alternatives
Karma Firewall is an Android firewall that states it requires no internet permission and intercepts no allowed user traffic.
Open source
24 alternatives
Agentic Radar scans agent workflows for security issues and helps developers review potential risks.
Open source
24 alternatives