awesome-repositories.com
ब्लॉग
MCP
awesome-repositories.com

AI-संचालित खोज के साथ बेहतरीन ओपन-सोर्स रिपॉजिटरी खोजें।

एक्सप्लोर करेंक्यूरेटेड खोजेंओपन-सोर्स विकल्पसेल्फ-होस्टेड सॉफ्टवेयरब्लॉगसाइटमैप
प्रोजेक्टMCP सर्वरहमारे बारे मेंहम रैंकिंग कैसे करते हैंप्रेस
कानूनीगोपनीयताशर्तें
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
ecranceMERCE avatar

ecranceMERCE/trakt

0
View on GitHub↗
17 स्टार्स·9 फोर्क्स·Prolog·LGPL-3.0·3 व्यूज़rocq-trakt.github.io/trakt↗

Trakt

A generic goal preprocessing tool for proof automation tactics in Coq

Features

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

स्टार हिस्ट्री

ecrancemerce/trakt के लिए स्टार हिस्ट्री चार्टecrancemerce/trakt के लिए स्टार हिस्ट्री चार्ट

AI सर्च

और अधिक बेहतरीन रिपॉजिटरी खोजें

अपनी ज़रूरत को सरल भाषा में बताएं — AI हजारों क्यूरेटेड ओपन-सोर्स प्रोजेक्ट्स को प्रासंगिकता के आधार पर रैंक करता है।

Start searching with AI

Trakt के ओपन-सोर्स विकल्प

समान ओपन-सोर्स प्रोजेक्ट्स, जो Trakt के साथ साझा की गई सुविधाओं के आधार पर रैंक किए गए हैं।
  • 0xicf/scadashutdowntool0

    0xICF/SCADAShutdownTool

    0GitHub पर देखें↗

    SCADA Shutdown Tool

    GitHub पर देखें↗0
  • 0xinfection/tidos-framework0xInfection का अवतार

    0xInfection/TIDoS-Framework

    1,865GitHub पर देखें↗

    The TIDoS Framework

    Python
    GitHub पर देखें↗1,865
  • aatlasis/chironaatlasis का अवतार

    aatlasis/Chiron

    211GitHub पर देखें↗

    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

    95GitHub पर देखें↗

    #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
Trakt के सभी 30 विकल्प देखें→

अक्सर पूछे जाने वाले प्रश्न

ecrancemerce/trakt क्या करता है?

A generic goal preprocessing tool for proof automation tactics in Coq

ecrancemerce/trakt की मुख्य विशेषताएं क्या हैं?

ecrancemerce/trakt की मुख्य विशेषताएं हैं: Tools।

ecrancemerce/trakt के कुछ ओपन-सोर्स विकल्प क्या हैं?

ecrancemerce/trakt के ओपन-सोर्स विकल्पों में शामिल हैं: 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…