विषय · refinement-types
refinement-types
refinement-types टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
6
कुल स्टार
7,767
औसत स्टार
1,295
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर refinement-types के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और refinement-types टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1★ 2,337+1पिछले 7 दिनों में स्टार का बदलाव
- #2★ 1,733+2पिछले 7 दिनों में स्टार का बदलाव
- #3
Haskell के लिए लिक्विड टाइप्स
★ 1,334+2पिछले 7 दिनों में स्टार का बदलाव - #4★ 909+2पिछले 7 दिनों में स्टार का बदलाव
- #5
Python के लिए Design by contract। बग-फ्री कोड लिखें। कुछ डेकोरेटर्स जोड़ें, और मुफ्त में स्टेटिक एनालिसिस और टेस्ट प्राप्त करें।
★ 907+1पिछले 7 दिनों में स्टार का बदलाव - #6★ 554+0पिछले 7 दिनों में स्टार का बदलाव
