डेवलपर टूल और ओपन सोर्स✦संपादकीय प्रोफ़ाइल
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dप्रविष्टि देखें
डेवलपर टूल और ओपन सोर्स
Certora/SecurityReports
सार्वजनिक GitHub रिपॉज़िटरी।
यह क्या करता है
Certora/SecurityReports एक सार्वजनिक GitHub रिपॉज़िटरी है। आखिरी सहेजे गए स्नैपशॉट में 34 स्टार और 3 फ़ोर्क दर्ज हैं। विषय: blockchain, certora, certora prover, ethereum, formal verification, security audits। सॉफ़्टवेयर इस्तेमाल करने से पहले दस्तावेज़, लाइसेंस और मौजूदा इश्यू पढ़ लो।
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
GitHub रिपॉज़िटरी
- सितारे
- 34
- बढ़े सितारे · 7 दिन
- +1
- फ़ोर्क
- 3
- मुख्य प्रोग्रामिंग भाषा
- जाँचा नहीं गया
- रिपॉज़िटरी लाइसेंस
- जाँचा नहीं गया
- आखिरी कोड पुश
- 24 अग॰ 2026
लोकप्रियता GitHub सितारों से है। 7 दिन की वृद्धि पूरे हफ़्ते के स्थानीय डेटा बाद दिखती है। यह GitHub की आधिकारिक ट्रेंडिंग सूची नहीं।
स्रोत और डेटा की ताज़गी
GitHub ↗स्रोत अपडेट · 15 अक्तू॰ 2026
आयातित प्रविष्टियाँ स्रोत से जुड़ी हैं। सूची में होना समर्थन नहीं है।