awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索,发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
affeldt-aist avatar

affeldt-aist/rocqnaviFork

0
View on GitHub↗
4 星标·4 分支·HTML·GPL-2.0·4 次浏览

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 历史

affeldt-aist/rocqnavi 的 Star 历史图表affeldt-aist/rocqnavi 的 Star 历史图表

AI 搜索

探索更多 awesome 仓库

用简单的语言描述您的需求 —— AI 将根据相关性为您从数千个精选开源项目中进行排序。

Start searching with AI

Rocqnavi 的开源替代方案

相似的开源项目,按与 Rocqnavi 的功能重合度排序。
  • 0xicf/scadashutdowntool0

    0xICF/SCADAShutdownTool

    0在 GitHub 上查看↗

    SCADA Shutdown Tool

    在 GitHub 上查看↗0
  • 0xinfection/tidos-framework0xInfection 的头像

    0xInfection/TIDoS-Framework

    1,865在 GitHub 上查看↗

    The TIDoS Framework

    Python
    在 GitHub 上查看↗1,865
  • aatlasis/chironaatlasis 的头像

    aatlasis/Chiron

    211在 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
    在 GitHub 上查看↗211
  • 0x0mar/smod0x0mar 的头像

    0x0mar/smod

    95在 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
    在 GitHub 上查看↗95
查看 Rocqnavi 的所有 30 个替代方案→

常见问题解答

affeldt-aist/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).

affeldt-aist/rocqnavi 的主要功能有哪些?

affeldt-aist/rocqnavi 的主要功能包括:Tools。

affeldt-aist/rocqnavi 有哪些开源替代品?

affeldt-aist/rocqnavi 的开源替代品包括: 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…