डेवलपर टूल और ओपन सोर्स✦संपादकीय प्रोफ़ाइल
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dप्रविष्टि देखें
डेवलपर टूल और ओपन सोर्स
Certora/CertoraProver
सार्वजनिक GitHub रिपॉज़िटरी, मुख्य रूप से Kotlin में।
यह क्या करता है
Certora/CertoraProver एक सार्वजनिक GitHub रिपॉज़िटरी है, मुख्य रूप से Kotlin में। आखिरी सहेजे गए स्नैपशॉट में 337 स्टार और 48 फ़ोर्क दर्ज हैं। विषय: blockchain, certora, certora prover, ethereum, formal verification, security tools। सॉफ़्टवेयर इस्तेमाल करने से पहले दस्तावेज़, लाइसेंस और मौजूदा इश्यू पढ़ लो।
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
GitHub रिपॉज़िटरी
- सितारे
- 337
- बढ़े सितारे · 7 दिन
- —
- फ़ोर्क
- 48
- मुख्य प्रोग्रामिंग भाषा
- Kotlin
- रिपॉज़िटरी लाइसेंस
- GPL-3.0
- आखिरी कोड पुश
- 14 अक्तू॰ 2026
लोकप्रियता GitHub सितारों से है। 7 दिन की वृद्धि पूरे हफ़्ते के स्थानीय डेटा बाद दिखती है। यह GitHub की आधिकारिक ट्रेंडिंग सूची नहीं।
स्रोत और डेटा की ताज़गी
GitHub ↗स्रोत अपडेट · 15 अक्तू॰ 2026
आयातित प्रविष्टियाँ स्रोत से जुड़ी हैं। सूची में होना समर्थन नहीं है।