verification
verification टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर verification के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और verification टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1
लीक हुए क्रेडेंशियल खोजें, सत्यापित करें और उनका विश्लेषण करें
★ 27,628+82पिछले 7 दिनों में स्टार का बदलाव - #2
immudb - जीरो ट्रस्ट पर आधारित इम्यूटेबल डेटाबेस, SQL/Key-Value/Document मॉडल, छेड़छाड़-रोधी, डेटा परिवर्तन इतिहास
★ 9,024+4पिछले 7 दिनों में स्टार का बदलाव - #3★ 5,758-1पिछले 7 दिनों में स्टार का बदलाव
- #4★ 3,519+11पिछले 7 दिनों में स्टार का बदलाव
- #5★ 3,354+20पिछले 7 दिनों में स्टार का बदलाव
- #6★ 3,099-1पिछले 7 दिनों में स्टार का बदलाव
- #7
TLC TLA+ में लिखी गई विशिष्टताओं के लिए एक मॉडल चेकर है। TLA+ Toolbox TLA+ के लिए एक IDE है।
★ 3,019+11पिछले 7 दिनों में स्टार का बदलाव - #8★ 2,486+7पिछले 7 दिनों में स्टार का बदलाव
- #9
OWASP MASVS (मोबाइल एप्लिकेशन सुरक्षा सत्यापन मानक) मोबाइल ऐप सुरक्षा के लिए उद्योग मानक है।
★ 2,440+4पिछले 7 दिनों में स्टार का बदलाव - #10
🖖 GoCaptcha: Go के लिए एक उच्च-प्रदर्शन, इंटरैक्टिव व्यवहार कैप्चा लाइब्रेरी। आसानी से अपने अनुप्रयोगों को सुरक्षित करने के लिए क्लिक, स्लाइड, ड्रैग-ड्रॉप और रोटेशन मोड का समर्थन करता है।
★ 2,412+8पिछले 7 दिनों में स्टार का बदलाव - #11★ 1,836+0पिछले 7 दिनों में स्टार का बदलाव
- #12★ 1,834+4पिछले 7 दिनों में स्टार का बदलाव
- #13
Viper सत्यापन बुनियादी ढांचे पर आधारित, Rust के लिए एक स्थैतिक सत्यापनकर्ता।
★ 1,807+3पिछले 7 दिनों में स्टार का बदलाव - #14
एक्शन के टेम्पोरल लॉजिक (TLA) पर आधारित शानदार टूलिंग के साथ एक निष्पादित विशिष्टता भाषा
★ 1,645+15पिछले 7 दिनों में स्टार का बदलाव - #15
बिना कोई ईमेल भेजे ईमेल सत्यापन के लिए एक Go लाइब्रेरी।
★ 1,609+9पिछले 7 दिनों में स्टार का बदलाव - #16★ 1,365+1पिछले 7 दिनों में स्टार का बदलाव
- #17
Haskell के लिए लिक्विड टाइप्स
★ 1,334+2पिछले 7 दिनों में स्टार का बदलाव - #18
⚔ डेटा सत्यापन और फ़िल्टरिंग के लिए Go पैकेज। Map, Struct, Form डेटा का समर्थन करता है। Go सार्वभौमिक डेटा सत्यापन और फ़िल्टरिंग लाइब्रेरी, उपयोग में आसान, अंतर्निहित अधिकांश सामान्य सत्यापन और फ़िल्टर, कस्टम सत्यापनकर्ताओं, कस्टम संदेशों और फ़ील्ड अनुवाद का समर्थन करता है।
★ 1,164+0पिछले 7 दिनों में स्टार का बदलाव - #19★ 1,161+5पिछले 7 दिनों में स्टार का बदलाव
- #20
ऐप्स को आसानी से सत्यापित करें।
★ 1,156+5पिछले 7 दिनों में स्टार का बदलाव - #21
Java के लिए प्लगेबल टाइप-चेकिंग
★ 1,149+3पिछले 7 दिनों में स्टार का बदलाव - #22★ 950+4पिछले 7 दिनों में स्टार का बदलाव
- #23
एक उन्नत SAT सॉल्वर
★ 940+1पिछले 7 दिनों में स्टार का बदलाव - #24
पिन कोड इनपुट टेक्स्ट फ़ील्ड बनाने के लिए Flutter पैकेज, जिसमें पिक्सेल-परफेक्ट कस्टमाइज़ेशन, सुंदर एनिमेशन, iOS और Android ऑटोफिल की सुविधा है।
★ 856+0पिछले 7 दिनों में स्टार का बदलाव - #25★ 845+1पिछले 7 दिनों में स्टार का बदलाव
- #26
एक डिपेंडेंटली-टाइप्ड प्रूफ भाषा जिसका उद्देश्य सॉफ्टवेयर इंजीनियरों के लिए प्रमाणित रूप से सही बेयर मेटल कोड बनाना संभव बनाना है।
★ 835+0पिछले 7 दिनों में स्टार का बदलाव - #27★ 824+1पिछले 7 दिनों में स्टार का बदलाव
- #28
आपके कंज्यूमर ड्रिवन कॉन्ट्रैक्ट्स वर्कफ़्लो को सक्षम बनाता है
★ 745+1पिछले 7 दिनों में स्टार का बदलाव - #29
CORE-V परिवार के RISC-V कोर के लिए कार्यात्मक सत्यापन प्रोजेक्ट।
★ 714+3पिछले 7 दिनों में स्टार का बदलाव - #30
आर्काइव/स्थानांतरित: कृपया नए स्थान पर जाएं
★ 704+0पिछले 7 दिनों में स्टार का बदलाव
