विषय · type-theory
type-theory
type-theory टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
5
कुल स्टार
13,970
औसत स्टार
2,794
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर type-theory के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और type-theory टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1★ 5,362+3पिछले 7 दिनों में स्टार का बदलाव
- #2★ 3,763-3पिछले 7 दिनों में स्टार का बदलाव
- #3★ 2,922+1पिछले 7 दिनों में स्टार का बदलाव
- #4★ 1,405+2पिछले 7 दिनों में स्टार का बदलाव
- #5
TypeScript में सुडोकू खेलना, जबकि टाइप चेकर गलतियों को हाइलाइट करता है।
★ 517+0पिछले 7 दिनों में स्टार का बदलाव
