type-safety

React फ्रेमवर्क के लिए टाइप-सेफ सर्च पैरामीटर स्टेट मैनेजर - useState की तरह, लेकिन URL क्वेरी स्ट्रिंग में संग्रहीत।

👷 TypeScript की सबसे बड़ी टाइप यूटिलिटी लाइब्रेरी

अपने फ़ंक्शंस को कुछ सार्थक, टाइप किया हुआ और सुरक्षित लौटाएं!

pgTyped - TypeScript में टाइपसेफ SQL

Checked C, C का एक एक्सटेंशन है जो प्रोग्रामर को बाउंड्स चेकिंग और बेहतर टाइप-सेफ़्टी के साथ C कोड लिखने की अनुमति देता है। इसका उद्देश्य लोगों के लिए अपने मौजूदा C कोड को टाइप-सेफ़ बनाना और त्रुटियों की पूरी श्रेणियों को समाप्त करना आसान बनाना है।

Coalton एक कुशल, स्थैतिक रूप से टाइप की गई कार्यात्मक प्रोग्रामिंग भाषा है जो Common Lisp को सुपरचार्ज करती है।

कंपाइल समय पर बग को रोकने के लिए शून्य ओवरहेड यूटिलिटीज़।

🏷️ सुरक्षित और अभिव्यंजक कोड के लिए एक रैपर प्रकार।

टाइप-सुरक्षित स्कीमा और नियमों के साथ वैलिडेशन लाइब्रेरी

एक कंपाइल-टाइम गारंटी कि किसी कलेक्शन में कोई वैल्यू मौजूद है।

एक डिपेंडेंटली-टाइप्ड प्रूफ भाषा जिसका उद्देश्य सॉफ्टवेयर इंजीनियरों के लिए प्रमाणित रूप से सही बेयर मेटल कोड बनाना संभव बनाना है।

अमान्य (Deprecated)

बीजीय डेटा प्रकारों (algebraic data types) के साथ डेटा इंटरचेंज।

🌈 Jetpack Compose के लिए टाइप-सेफ नेविगेशन लाइब्रेरी

Cone प्रोग्रामिंग भाषा

Cadence: Flow नेटवर्क की रिसोर्स-ओरिएंटेड स्मार्ट कॉन्ट्रैक्ट प्रोग्रामिंग भाषा। क्षमता-आधारित सुरक्षा, टाइप सेफ्टी और मूव सिमेंटिक्स

इस रिपो में clang का एक संस्करण है जिसे Checked C का समर्थन करने के लिए संशोधित किया जा रहा है। Checked C, C का एक विस्तार है जो प्रोग्रामर्स को ऐसा C कोड लिखने देता है जिसे कंपाइलर द्वारा टाइप-सेफ होने की गारंटी दी जाती है।

React Router के लिए फुल-स्टैक फॉर्म्स।

एक स्ट्रक्ट (struct) को परिभाषित करके कमांड लाइन आर्गुमेंट्स को पार्स करें