awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
coq-community avatar

coq-community/coq-dpdgraph

0
View on GitHub↗
100 stars·34 forks·OCaml·LGPL-2.1·11 views

Coq Dpdgraph

coq-dpdgraph

Features

  • Tools - Listed in the “Tools” section of the Awesome Coq awesome list.

Star history

Star history chart for coq-community/coq-dpdgraphStar history chart for coq-community/coq-dpdgraph

How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Projects sharing features with Coq Dpdgraph

These projects share indexed features with Coq Dpdgraph. Shared tags can include platform or build tooling; verify the primary use case before treating a result as a replacement.
  • 0xicf/scadashutdowntool0

    0xICF/SCADAShutdownTool

    0View on GitHub↗

    SCADA Shutdown Tool

    View on GitHub↗0
  • 0xinfection/tidos-framework0xInfection avatar

    0xInfection/TIDoS-Framework

    1,865View on GitHub↗

    The TIDoS Framework

    Python
    View on GitHub↗1,865
  • aatlasis/chironaatlasis avatar

    aatlasis/Chiron

    211View on GitHub↗

    Chiron is an IPv6 Security Assessment Framework, written in Python and employing Scapy. It is comprised of the following modules: • IPv6 Scanner • IPv6 Local Link • IPv4-to-IPv6 Proxy • IPv6 Attack Module • IPv6 Proxy. All the above modules are supported by a common library that allows the…

    Python
    View on GitHub↗211
  • 0x0mar/smod0x0mar avatar

    0x0mar/smod

    95View on GitHub↗

    #smod smod is a modular framework with every kind of diagnostic and offensive feature you could need in order to pentest modbus protocol. It is a full Modbus protocol implementation using Python and Scapy. This software could be run on Linux/OSX under python 2.7.x.

    Python
    View on GitHub↗95
Compare all 30 related projects→

Frequently asked questions

What does coq-community/coq-dpdgraph do?

coq-dpdgraph

What are the main features of coq-community/coq-dpdgraph?

The main features of coq-community/coq-dpdgraph are: Tools.

Which projects share features with coq-community/coq-dpdgraph?

Projects with overlapping indexed features include: 0xicf/scadashutdowntool — SCADA Shutdown Tool. 0xinfection/tidos-framework — The TIDoS Framework. aatlasis/chiron — Chiron is an IPv6 Security Assessment Framework, written in Python and employing Scapy. It is comprised of the… affeldt-aist/rocqnavi — Rocqnavi is a fork of coq2html. It generates HTML documentation from Rocq files. Proof scripts are hidden by default… airbnb/react-sketchapp — react-sketchapp is a design system automation tool that translates React components into native Sketch design layers.… 0x0mar/smod — #smod smod is a modular framework with every kind of diagnostic and offensive feature you could need in order to…