takibitakibi-lang
नयाTakibi एक रिसर्च सिस्टम्स लैंग्वेज और Linux-ABI-संगत मोनोलिथिक कर्नल है, जिसे रिफाइनमेंट टाइप्स और एफाइन ओनरशिप का उपयोग करके कर्नल रनटाइम विफलताओं को कंपाइल-टाइम त्रुटियों में बदलने के लिए डिज़ाइन किया गया है।
OPEN SOURCE, OPEN TO EVERYONE
ओपन सोर्स। नई संभावनाएँ।
उत्कृष्ट ओपन-सोर्स प्रोजेक्ट खोजें, गुमनाम रूप से प्रोजेक्ट सबमिट करें और अपने प्रोजेक्ट का दावा कर उसे संपादित करें।
✳संपादकीय चयन · अच्छा ओपन सोर्स खोजें4109खोजे गए
जिज्ञासा के साथ ओपन सोर्स खोजें।
THE FIRST COLLECTIONTopic: raspberrypi清除