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

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

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectAboutHow we rankPressMCP server
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
affeldt-aist avatar

affeldt-aist/rocqnaviFork

0
View on GitHub↗
4 stars·4 forks·HTML·GPL-2.0·2 views

Rocqnavi

Rocqnavi is a fork of coq2html. It generates HTML documentation from Rocq files. Proof scripts are hidden by default but can be revealed by clicking (folding in action).

Features

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

Star history

Star history chart for affeldt-aist/rocqnaviStar history chart for affeldt-aist/rocqnavi

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

Open-source alternatives to Rocqnavi

Similar open-source projects, ranked by how many features they share with Rocqnavi.
  • 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
See all 30 alternatives to Rocqnavi→

Frequently asked questions

What does affeldt-aist/rocqnavi do?

Rocqnavi is a fork of coq2html. It generates HTML documentation from Rocq files. Proof scripts are hidden by default but can be revealed by clicking (folding in action).

What are the main features of affeldt-aist/rocqnavi?

The main features of affeldt-aist/rocqnavi are: Tools.

What are some open-source alternatives to affeldt-aist/rocqnavi?

Open-source alternatives to affeldt-aist/rocqnavi 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… airbnb/react-sketchapp — react-sketchapp is a design system automation tool that translates React components into native Sketch design layers.… amossys/fragscapy — This project is a command-line tool that can be used to generate 'fragroute-like' tests using Scapy. Fragroute's goal… 0x0mar/smod — #smod smod is a modular framework with every kind of diagnostic and offensive feature you could need in order to…